System.err.println(java.util.ResourceBundle.getBundle("global").getString("optionsWrongObject"));
System.err.println("Error - could not read options!");
    public void saveOptions() {        ObjectOutputStream outStream;                try {	    outStream = new ObjectOutputStream(new FileOutputStream(optFilename));	    outStream.writeObject(this);	    outStream.close();	}	catch (IOException ioEx) {	    System.err.println(java.util.ResourceBundle.getBundle("global").getString("optionsWriteError"));            System.err.println(ioEx.getMessage());	}	catch (Exception generalEx) {	    // mglich sind hier, NotSerializable und InvalidClass, beide	    // Ausnahmen sind im Endbenutzerbetrieb praktisch nicht mglich            System.err.println(java.util.ResourceBundle.getBundle("global").getString("optionsWrongObject"));	}    }