für das Speichern der Nutzereinstellungen einen andern Serializer verwenden
Momentan wird die Klasse de.bsvrz.buv.rw.bitctrl.eclipse.modell.java.JavaModellEinstellungen
für die Serialisierung & Deserialisierung der Benutzereinstellungen verwendet. Weil aber mit Java 11 kein JAXB mehr in der JRE enthalten ist, wird diese Implementierung irgendwann wegfallen.