feature request #7006closed
feature request #6565: [MASTER] Eclipse 4 Migration
This can be done with a copy of the plugin provided by OPCoach (https://github.com/opcoach/e4Preferences).
This might also give us the possibility to handle where and how preferences are stored.
Later on we should use Annotation to handle preferences (@Preference)