Program: 24476
Project: 24476
Buggy source:
private void initFileMenu(){
  JMenu fileMenu=new JMenu("String_Node_Str");
  fileMenu.setMnemonic(KeyEvent.VK_F);
  menuBar.add(fileMenu);
  JMenuItem fileMenuOpenItem=new JMenuItem("String_Node_Str",KeyEvent.VK_O);
  fileMenuOpenItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_O,ActionEvent.ALT_MASK));
  fileMenuOpenItem.getAccessibleContext().setAccessibleDescription("String_Node_Str");
  fileMenuOpenItem.addActionListener(new ActionListener(){
    @Override public void actionPerformed(    ActionEvent e){
      JFileChooser chooser=new JFileChooser();
      chooser.setCurrentDirectory(new File(System.getProperty("String_Node_Str")));
      chooser.setFileFilter(new FileFilter(){
        @Override public boolean accept(        File f){
          String fileName=f.getName();
          return Pattern.matches("String_Node_Str",fileName);
        }
        @Override public String getDescription(){
          return "String_Node_Str";
        }
      }
);
      int response=chooser.showOpenDialog(VisualEditor.this);
      if (response == JFileChooser.APPROVE_OPTION) {
        File openFile=chooser.getSelectedFile();
        openFile(openFile);
      }
    }
  }
);
  fileMenu.add(fileMenuOpenItem);
  JMenuItem fileMenuExitItem=new JMenuItem("String_Node_Str",KeyEvent.VK_X);
  fileMenuExitItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_X,ActionEvent.ALT_MASK));
  fileMenuExitItem.getAccessibleContext().setAccessibleDescription("String_Node_Str");
  fileMenuExitItem.addActionListener(new ActionListener(){
    @Override public void actionPerformed(    ActionEvent e){
      processEvent(new WindowEvent(VisualEditor.this,WindowEvent.WINDOW_CLOSING));
    }
  }
);
  fileMenu.add(fileMenuExitItem);
}

Fixed version (ground truth):
private void initFileMenu(){
  JMenu fileMenu=new JMenu("String_Node_Str");
  fileMenu.setMnemonic(KeyEvent.VK_F);
  menuBar.add(fileMenu);
  JMenuItem fileMenuNewItem=new JMenuItem("String_Node_Str",KeyEvent.VK_N);
  fileMenuNewItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_N,ActionEvent.ALT_MASK));
  fileMenuNewItem.addActionListener(new ActionListener(){
    @Override public void actionPerformed(    ActionEvent e){
      String selection=(String)JOptionPane.showInputDialog(VisualEditor.this,"String_Node_Str","String_Node_Str",JOptionPane.PLAIN_MESSAGE,null,nsMap.keySet().toArray(),"String_Node_Str");
      IModelFactory modelFactory=new ModelFactory();
      INotationSubsystem selectedNs=nsMap.get(selection);
      modelFactory.setNotationSubsystem(selectedNs);
      modelFactory.setName("String_Node_Str");
      IModel newModel=modelFactory.createModel();
      insp.renderModel(newModel);
    }
  }
);
  fileMenu.add(fileMenuNewItem);
  JMenuItem fileMenuOpenItem=new JMenuItem("String_Node_Str",KeyEvent.VK_O);
  fileMenuOpenItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_O,ActionEvent.ALT_MASK));
  fileMenuOpenItem.addActionListener(new ActionListener(){
    @Override public void actionPerformed(    ActionEvent e){
      JFileChooser chooser=new JFileChooser();
      chooser.setCurrentDirectory(new File(System.getProperty("String_Node_Str")));
      chooser.setFileFilter(new FileFilter(){
        @Override public boolean accept(        File f){
          String fileName=f.getName();
          return Pattern.matches("String_Node_Str",fileName);
        }
        @Override public String getDescription(){
          return "String_Node_Str";
        }
      }
);
      int response=chooser.showOpenDialog(VisualEditor.this);
      if (response == JFileChooser.APPROVE_OPTION) {
        File openFile=chooser.getSelectedFile();
        openFile(openFile);
      }
    }
  }
);
  fileMenu.add(fileMenuOpenItem);
  JMenuItem fileMenuExitItem=new JMenuItem("String_Node_Str",KeyEvent.VK_X);
  fileMenuExitItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_X,ActionEvent.ALT_MASK));
  fileMenuExitItem.getAccessibleContext().setAccessibleDescription("String_Node_Str");
  fileMenuExitItem.addActionListener(new ActionListener(){
    @Override public void actionPerformed(    ActionEvent e){
      processEvent(new WindowEvent(VisualEditor.this,WindowEvent.WINDOW_CLOSING));
    }
  }
);
  fileMenu.add(fileMenuExitItem);
}