#330 npe when hit Test button

[Anonymous]

java.lang.NullPointerException
at
javax.swing.text.PlainView.updateMetrics(PlainView.java:188)
at
javax.swing.text.PlainView.lineToRect(PlainView.java:586)
at
javax.swing.text.PlainView.modelToView(PlainView.java:324)
at javax.swing.text.View.modelToView(View.java:629)
at
javax.swing.text.DefaultHighlighter$DefaultHighlightPainter.paintLayer(DefaultHighlighter.java:446)
at
javax.swing.text.DefaultHighlighter$LayeredHighlightInfo.paintLayeredHighlights(DefaultHighlighter.java:533)
at
javax.swing.text.DefaultHighlighter.paintLayeredHighlights(DefaultHighlighter.java:275)
at javax.swing.text.PlainView.paint(PlainView.java:283)
at
javax.swing.plaf.basic.BasicTextUI$RootView.paint(BasicTextUI.java:1351)
at
javax.swing.plaf.basic.BasicTextUI.paintSafely(BasicTextUI.java:642)
at
javax.swing.plaf.basic.BasicTextUI.paint(BasicTextUI.java:791)
at
javax.swing.plaf.basic.BasicTextUI.update(BasicTextUI.java:759)
at
javax.swing.JComponent.paintComponent(JComponent.java:740)
at
edu.rice.cs.drjava.ui.DefinitionsPane.paintComponent(DefinitionsPane.java:705)
at javax.swing.JComponent.paint(JComponent.java:1003)
at
javax.swing.JComponent.paintWithOffscreenBuffer(JComponent.java:4930)
at
javax.swing.JComponent.paintDoubleBuffered(JComponent.java:4883)
at
javax.swing.JComponent._paintImmediately(JComponent.java:4826)
at
javax.swing.JComponent.paintImmediately(JComponent.java:4633)
at
javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:451)
at
javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(SystemEventQueueUtilities.java:114)
at
java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:209)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:461)
at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:234)
at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:163)
at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:157)
at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:149)
at
java.awt.EventDispatchThread.run(EventDispatchThread.java:110)