+### Maven Core Extension Problems
+
+Context: Tycho 1.5.0 was not released, and thus required a workaround.
+This Problem may appear again, maybe with a different core extension, so this section
+explains the problem, how to diagnose it and a fairly good workaround.