[junit] Testsuite: edu.rice.cs.drjava.ui.MainFrameTest
[junit] Tests run: 14, Failures: 3, Errors: 0
[junit] Testcase: testGotoFileUnderCursor(edu.rice.cs.drjava.ui.MainFrameTest): FAILED
[junit] null
[junit] junit.framework.AssertionFailedError
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.addToBrowserHistory(AbstractGlobalModel.java:2476)
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.addToBrowserHistory(AbstractGlobalModel.java:2470)
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.openFile(AbstractGlobalModel.java:1202)
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.getDocumentForFile(AbstractGlobalModel.java:2076)
[junit] at edu.rice.cs.drjava.ui.MainFrameTest.testGotoFileUnderCursor(MainFrameTest.java:813)
[junit]
[junit]
[junit] Testcase: testGotoFileUnderCursorAppendJava(edu.rice.cs.drjava.ui.MainFrameTest): FAILED
[junit] null
[junit] junit.framework.AssertionFailedError
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.addToBrowserHistory(AbstractGlobalModel.java:2476)
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.addToBrowserHistory(AbstractGlobalModel.java:2470)
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.openFile(AbstractGlobalModel.java:1202)
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.getDocumentForFile(AbstractGlobalModel.java:2076)
[junit] at edu.rice.cs.drjava.ui.MainFrameTest.testGotoFileUnderCursorAppendJava(MainFrameTest.java:880)
[junit]
[junit]
[junit] Testcase: testGotoFileUnderCursorShowDialog(edu.rice.cs.drjava.ui.MainFrameTest): FAILED
[junit] null
[junit] junit.framework.AssertionFailedError
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.addToBrowserHistory(AbstractGlobalModel.java:2476)
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.addToBrowserHistory(AbstractGlobalModel.java:2470)
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.openFile(AbstractGlobalModel.java:1202)
[junit] at edu.rice.cs.drjava.model.AbstractGlobalModel.getDocumentForFile(AbstractGlobalModel.java:2076)
[junit] at edu.rice.cs.drjava.ui.MainFrameTest.testGotoFileUnderCursorShowDialog(MainFrameTest.java:947)
[junit]
[junit]
[junit] Test edu.rice.cs.drjava.ui.MainFrameTest FAILED
