2
<!DOCTYPE settings PUBLIC "-//NetBeans//DTD Session settings 1.0//EN" "http://www.netbeans.org/dtds/sessionsettings-1_0.dtd">
3
<settings version="1.0">
4
<module name="org.netbeans.modules.java.editor/1"/>
5
<instanceof class="java.io.Externalizable"/>
6
<instanceof class="org.openide.util.SharedClassObject"/>
7
<instanceof class="java.beans.beancontext.BeanContextProxy"/>
8
<instanceof class="java.io.Serializable"/>
9
<instanceof class="org.openide.options.SystemOption"/>
10
<instanceof class="org.netbeans.modules.editor.options.OptionSupport"/>
11
<instanceof class="org.netbeans.modules.editor.options.BaseOptions"/>
12
<instance class="org.netbeans.modules.java.editor.options.JavaOptions"/>