*/
public MainFrame( final String policyFileName ) {
super( Consts.APPLICATION_NAME );
final EditorPanel[] editorPanels = new EditorPanel[] { new GraphicalEditorPanel( this ), new DirectTextEditorPanel( this ) };
final Controller controller = new Controller( this, editorPanels, policyFileName );
buildGUI( controller );
setLocation( Consts.MAIN_FRAME_START_POS_X, Consts.MAIN_FRAME_START_POS_X );
setSize( Consts.MAIN_FRAME_WIDTH, Consts.MAIN_FRAME_HEIGHT );
setDefaultCloseOperation( DO_NOTHING_ON_CLOSE );
addWindowListener( new WindowAdapter() {
public void windowClosing( final WindowEvent we ) {
controller.exit();
}
} );
}