Program: 76070
Project: 76070
Buggy source:
/** 
 * Initialize the applet.
 */
public void init(){
  super.init();
  getContentPane().setLayout(new BorderLayout(5,5));
  JPanel topPanel=new JPanel();
  topPanel.setSize(new Dimension(600,200));
  getContentPane().setBackground(getBackground());
  topPanel.setBackground(getBackground());
  topPanel.add(_createRunControls(3),BorderLayout.NORTH);
  _plotPanel=new JPanel();
  _plotPanel.setSize(new Dimension(600,200));
  _plotPanel.setBackground(getBackground());
  topPanel.add(_plotPanel,BorderLayout.CENTER);
  getContentPane().add(topPanel,BorderLayout.NORTH);
  constructPtolemyModel();
  _divaPanel=new JPanel(new BorderLayout());
  _divaPanel.setSize(new Dimension(600,400));
  _divaPanel.setBackground(getBackground());
  getContentPane().add(_divaPanel,BorderLayout.CENTER);
  _graph=constructDivaGraph();
  final MutableGraphModel finalGraphModel=_graph;
  final GraphController gc=new LocalZenoGraphController();
  final GraphPane gp=new GraphPane(gc,_graph);
  _jgraph=new JGraph(gp);
  _divaPanel.add(_jgraph,BorderLayout.NORTH);
  _jgraph.setPreferredSize(new Dimension(600,400));
  try {
    SwingUtilities.invokeAndWait(new Runnable(){
      public void run(){
        doLayout(finalGraphModel,gp);
      }
    }
);
  }
 catch (  Exception ex) {
    ex.printStackTrace();
    System.exit(0);
  }
  StateListener listener=new StateListener((GraphPane)_jgraph.getCanvasPane());
  _join1.addListeners(listener);
  _join2.addListeners(listener);
  _fork1.addListeners(listener);
  _fork2.addListeners(listener);
  _fBack1.addListeners(listener);
  _fBack2.addListeners(listener);
  _rcvr1.addListeners(listener);
  _rcvr2.addListeners(listener);
  _clock.addListeners(listener);
}

Fixed version (ground truth):
/** 
 * Initialize the applet.
 */
public void init(){
  super.init();
  getContentPane().setLayout(new BorderLayout(5,5));
  JPanel topPanel=new JPanel();
  topPanel.setSize(new Dimension(600,200));
  getContentPane().setBackground(getBackground());
  topPanel.setBackground(getBackground());
  topPanel.add(_createRunControls(2),BorderLayout.NORTH);
  _plotPanel=new JPanel();
  _plotPanel.setSize(new Dimension(600,200));
  _plotPanel.setBackground(getBackground());
  topPanel.add(_plotPanel,BorderLayout.CENTER);
  getContentPane().add(topPanel,BorderLayout.NORTH);
  constructPtolemyModel();
  _divaPanel=new JPanel(new BorderLayout());
  _divaPanel.setSize(new Dimension(600,400));
  _divaPanel.setBackground(getBackground());
  getContentPane().add(_divaPanel,BorderLayout.CENTER);
  _graph=constructDivaGraph();
  final MutableGraphModel finalGraphModel=_graph;
  final GraphController gc=new LocalZenoGraphController();
  final GraphPane gp=new GraphPane(gc,_graph);
  _jgraph=new JGraph(gp);
  _divaPanel.add(_jgraph,BorderLayout.CENTER);
  StateListener listener=new StateListener((GraphPane)_jgraph.getCanvasPane());
  _join1.addListeners(listener);
  _join2.addListeners(listener);
  _fork1.addListeners(listener);
  _fork2.addListeners(listener);
  _fBack1.addListeners(listener);
  _fBack2.addListeners(listener);
  _rcvr1.addListeners(listener);
  _rcvr2.addListeners(listener);
  _clock.addListeners(listener);
}