Editor: Bugfix im database-plugin

Eclipse hat Änderungen nicht korrekt registriert.