This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.
WARNING [org.netbeans.core.modules]: the module org.netbeans.modules.java.editor uses org.openide.options which is deprecated: Use org.openide.util.NbPreferences instead.
Probably fixed (or invalid) anyway java.editor does not use Settings Options API