System.err.println(java.util.ResourceBundle.getBundle("global").getString("optionsReadError"));
System.err.println("Error - could not read options!");
    public void loadOptions() {        ObjectInputStream objectStream;	AppOptions readObject;                try {            objectStream = new ObjectInputStream(new FileInputStream(optFilename));            readObject = ((AppOptions)(objectStream.readObject()));            this.setOptionsFrom(readObject);                        objectStream.close();        }        catch (FileNotFoundException nfEx) {            // wird keine Optionsdatei gefunden, wird eine mit default-werten            // angelegt            this.setDefault();            this.saveOptions();        }        catch (Exception genEx) {            System.err.println(genEx.getMessage());            System.err.println(java.util.ResourceBundle.getBundle("global").getString("optionsReadError"));        }    }