public PolicyEditorView(Application app) {
super(app);
setLayout(new BorderLayout());
actions.add(new Action(this, Action.NEW_FILE, "File/New", 10.0d, true,
true, KeyStroke.getKeyStroke(KeyEvent.VK_N, Toolkit
.getDefaultToolkit().getMenuShortcutKeyMask())));
actions.add(new Action(this, Action.LOAD_FILE, "File/Open", 20.0d,
true, true, KeyStroke.getKeyStroke(KeyEvent.VK_O, Toolkit
.getDefaultToolkit().getMenuShortcutKeyMask())));
actions.add(new Action(this, Action.SAVE_FILE, "File/Save", 30.0d,
true, false, KeyStroke.getKeyStroke(KeyEvent.VK_S, Toolkit
.getDefaultToolkit().getMenuShortcutKeyMask())));
actions.add(new Action(this, Action.SAVE_AS_FILE, "File/Save As",
40.0d, false, false));
actions.add(new Action(this, CompilerAction.COMPILE_PROFILE,
"Policy/Compile", 10.0d, true, file != null));
rtview = new ResourceTreeView();
ctview = new ClassTreeView();
ptListView = new ParameterTypeListView();