jframe.setTitle(jframe.getJifVersion() +" - " + jframe.getCurrentFilename());
            public void actionPerformed(ActionEvent evt) {                try {                    if (undoF.canRedo()) {                        while (undoF.getRedoPresentationName().equals(java.util.ResourceBundle.getBundle("JIF").getString("JFRAME_STYLE_CHANGED_REDO"))){                            undoF.redo();                        }                        undoF.redo();                        // adding a "*" to the file name, when the file has changed but not saved                        if (jframe.getTabbed().getComponentCount()!=0  && jframe.getCurrentFilename().indexOf("*")==-1){                            jframe.getTabbed().setTitleAt( jframe.getTabbed().getSelectedIndex(), jframe.getCurrentFilename()+"*");                        }                    }                } catch (CannotRedoException e) {                //System.out.println(e.getMessage());                }            }