Neuer Milestone M12 erreicht

Am 14.06.2018 wurde der Milestone M12 freigegeben. Mit der Freigabe wurden diverse Bugs behoben und einige Verbesserungen vorgenommen:

• JDK 9 und JDK 10 werden unterstützt, auch wenn die IDE unter JDK 8 läuft
• Die Live Hoovers werden jetzt in allen geöffneten Editoren aktualisiert
• Etliche NPE im Indexer wurden beseitigt

Siehe Changelog