public void write( DataOutputStream out ) throws IOException {
Version.write( out, Version.VERSION_1_1_1 );
frontend.write( out );
}
public void read( DataInputStream in ) throws IOException {
Version version = Version.read( in );
version.checkCurrent();
if( Version.VERSION_1_1_1.compareTo( version ) > 0 && Version.VERSION_1_0_4.compareTo( version ) <= 0 ){
readWorkingAreas( in );
}
frontend.read( in );
}
public void writeXML( XElement element ) {
frontend.writeXML( element.addElement( "frontend" ) );
}
public void readXML( XElement element ) {
frontend.readXML( element.getElement( "frontend" ) );
}
});
resources.put( "ccontrol.preferences", new ApplicationResource(){
public void read( DataInputStream in ) throws IOException {
Version version = Version.read( in );
version.checkCurrent();
preferences.read( in );
if( preferenceModel != null ){
preferences.load( preferenceModel, false );
preferenceModel.write();