[DrJava] [ drjava-Bugs-3004165 ] Exception when double click on External process tab

[SourceForge.net <no...@so...>]

Bugs item #3004165, was opened at 2010-05-19 11:52
Message generated for change (Tracker Item Submitted) made by baonn
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3004165&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Bao N. Nguyen (baonn)
Assigned to: Nobody/Anonymous (nobody)
Summary: Exception when double click on External process tab

Initial Comment:
The following steps produce an error

1. Add an external process: Tools/External Processes/New External Process
2. Double click on External tab


java.lang.NullPointerException
	at edu.rice.cs.drjava.ui.predictive.PredictiveInputModel$PrefixStrategy.isMatch(PredictiveInputModel.java:118)
	at edu.rice.cs.drjava.ui.predictive.PredictiveInputModel.updateMatchingStrings(PredictiveInputModel.java:664)
	at edu.rice.cs.drjava.ui.predictive.PredictiveInputModel.setMask(PredictiveInputModel.java:640)
	at edu.rice.cs.drjava.ui.MainFrame.gotoFileMatchingMask(MainFrame.java:1466)
	at edu.rice.cs.drjava.ui.ExternalProcessPanel.doubleClicked(ExternalProcessPanel.java:395)
	at edu.rice.cs.drjava.ui.ExternalProcessPanel$1.mouseClicked(ExternalProcessPanel.java:102)
	at java.awt.AWTEventMulticaster.mouseClicked(AWTEventMulticaster.java:253)
	at java.awt.Component.processMouseEvent(Component.java:6266)
	at javax.swing.JComponent.processMouseEvent(JComponent.java:3267)
	at java.awt.Component.processEvent(Component.java:6028)
	at java.awt.Container.processEvent(Container.java:2041)
	at java.awt.Component.dispatchEventImpl(Component.java:4630)
	at java.awt.Container.dispatchEventImpl(Container.java:2099)
	at java.awt.Component.dispatchEvent(Component.java:4460)
	at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4574)
	at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4247)
	at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4168)
	at java.awt.Container.dispatchEventImpl(Container.java:2085)
	at java.awt.Window.dispatchEventImpl(Window.java:2478)
	at java.awt.Component.dispatchEvent(Component.java:4460)
	at java.awt.EventQueue.dispatchEvent(EventQueue.java:599)
	at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:269)
	at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:184)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:174)
	at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:169)
	at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:161)
	at java.awt.EventDispatchThread.run(EventDispatchThread.java:122)


System Properties:
DrJava Version drjava-20100507-r5246
DrJava Build Time 20100507-2048
JDK Sun 1.6_20
OS: Ubuntu 10.04


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3004165&group_id=44253