public ProjectExplorer showProjectExplorer() {
   ProjectExplorer resourceExplorer = getProjectExplorer();
   resourceExplorer.pack();
   Dimension d = new Dimension(925, 600);
   resourceExplorer.setSize(d);
   UIUtil.constrainSizeToScreen(resourceExplorer);
   return resourceExplorer;
 }
 public ProjectExplorer getProjectExplorer() {
   if (projectExplorer == null) {
     projectExplorer = new ProjectExplorer();
     projectExplorer.addWindowListener(
         new WindowAdapter() {
           @Override
           public void windowClosing(WindowEvent event) {
             shutdown();
           }
         });
     projectExplorerController = new ProjectExplorerController(projectExplorer);
   }
   return projectExplorer;
 }