private void addProgrammerBox(){
  JPanel pane3a=new JPanel();
  pane3a.setLayout(new BoxLayout(pane3a,BoxLayout.X_AXIS));
  pane3a.add(new JLabel(Bundle.getMessage("ProgrammerFormat")));
  programmerBox=new JComboBox<String>(ProgDefault.findListOfProgFiles());
  programmerBox.setSelectedIndex(0);
  if (ProgDefault.getDefaultProgFile() != null) {
    programmerBox.setSelectedItem(ProgDefault.getDefaultProgFile());
  }
  pane3a.add(programmerBox);
  add(pane3a);
}

private void addProgrammerBox ( ) { JPanel pane3a = new JPanel ( ) ; pane3a . setLayout ( new BoxLayout ( pane3a , BoxLayout . X_AXIS ) ) ; pane3a . add ( new JLabel ( Bundle . getMessage ( "ProgrammerFormat" ) ) ) ; programmerBox = new JComboBox < String > ( ProgDefault . findListOfProgFiles ( ) ) ; programmerBox . setSelectedIndex ( 0 ) ; if ( ProgDefault . getDefaultProgFile ( ) != null ) { programmerBox . setSelectedItem ( ProgDefault . getDefaultProgFile ( ) ) ; } pane3a . add ( programmerBox ) ; add ( pane3a ) ; }
add the gui for selecting a specific programmer
