#818 AssertionError After Go To Find Result and Edit
I double-clicked on an entry in a Find Results pane, then started to edit.
java.lang.AssertionError
at edu.rice.cs.drjava.model.DocumentRegion.<init>(DocumentRegion.java:59)
at edu.rice.cs.drjava.model.ConcreteRegionManager.getRegionInterval(ConcreteRegionManager.java:151)
at edu.rice.cs.drjava.ui.MainFrame$217.reloadPanel(MainFrame.java:7802)
at edu.rice.cs.drjava.ui.MainFrame$217.updateUI(MainFrame.java:7766)
at edu.rice.cs.drjava.ui.MainFrame$217.insertUpdate(MainFrame.java:7860)
at javax.swing.text.AbstractDocument.fireInsertUpdate(Unknown Source)
at javax.swing.text.AbstractDocument.handleInsertString(Unknown Source)
at javax.swing.text.AbstractDocument.insertString(Unknown Source)
at edu.rice.cs.util.text.SwingDocument.insertString(SwingDocument.java:146)
at edu.rice.cs.drjava.model.definitions.DefinitionsDocument.insertString(DefinitionsDocument.java:271)
at edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.insertString(AbstractGlobalModel.java:3566)
at javax.swing.JTextPane.replaceSelection(Unknown Source)
at javax.swing.JTextPane.replaceSelection(Unknown Source)
at javax.swing.text.DefaultEditorKit$DefaultKeyTypedAction.actionPerformed(Unknown Source)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at edu.rice.cs.drjava.ui.AbstractDJPane$3.actionPerformed(AbstractDJPane.java:142)
at javax.swing.SwingUtilities.notifyAction(Unknown Source)
at javax.swing.JComponent.processKeyBinding(Unknown Source)
at javax.swing.JComponent.processKeyBindings(Unknown Source)
at javax.swing.JComponent.processKeyEvent(Unknown Source)
at edu.rice.cs.drjava.ui.DefinitionsPane.processKeyEvent(DefinitionsPane.java:695)
at java.awt.Component.processEvent(Unknown Source)
at java.awt.Container.processEvent(Unknown Source)
at java.awt.Component.dispatchEventImpl(Unknown Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at java.awt.KeyboardFocusManager.redispatchEvent(Unknown Source)
at java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(Unknown Source)
at java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(Unknown Source)
at java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(Unknown Source)
at java.awt.DefaultKeyboardFocusManager.dispatchEvent(Unknown Source)
at java.awt.Component.dispatchEventImpl(Unknown Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Window.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at java.awt.EventQueue.dispatchEvent(Unknown Source)
at java.awt.EventDispatchThread.pumpOneEventForFilters(Unknown Source)
at java.awt.EventDispatchThread.pumpEventsForFilter(Unknown Source)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.run(Unknown Source)
System Properties:
DrJava Version drjava-20091130-r5138
DrJava Build Time 20091130-1736
drjava.debug.port = 1072
java.runtime.name = Java(TM) SE Runtime Environment
sun.boot.library.path = C:\jre1.6.0_18-ea-b03\bin
java.vm.version = 16.0-b10
java.vm.vendor = Sun Microsystems Inc.
java.vendor.url = http://java.sun.com/
path.separator = ;
java.vm.name = Java HotSpot(TM) Client VM
file.encoding.pkg = sun.io
sun.java.launcher = SUN_STANDARD
user.country = US
sun.os.patch.level = Service Pack 3
java.vm.specification.name = Java Virtual Machine Specification
user.dir = <anonymized user.home>\Desktop
java.runtime.version = 1.6.0_18-ea-b03
java.awt.graphicsenv = sun.awt.Win32GraphicsEnvironment
java.endorsed.dirs = C:\jre1.6.0_18-ea-b03\lib\endorsed
os.arch = x86
java.io.tmpdir = C:\DOCUME~1\<anonymized user.name>\LOCALS~1\Temp\
line.separator = "\u000d\u000a"
java.vm.specification.vendor = Sun Microsystems Inc.
user.variant =
os.name = Windows XP
sun.jnu.encoding = Cp1252
java.library.path = C:\jre1.6.0_18-ea-b03\bin;.;C:\WINDOWS\Sun\Java\bin;C:\WINDOWS\system32;C:\WINDOWS;C:\Program Files\Sun\javafx-sdk1.2\bin;C:\Program Files\Sun\javafx-sdk1.2\emulator\bin;C:\jre\bin;C:\jdk\bin;C:\Program Files\Tools\Windows Resource Kits\;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\Program Files\Dev\Perforce;C:\WINDOWS\system32\WindowsPowerShell\v1.0;c:\Program Files\Microsoft SQL Server\100\Tools\Binn\;c:\Program Files\Microsoft SQL Server\100\DTS\Binn\;C:\Program Files\Diana\Applied Biosystems\Primer Express\App\libs;C:\yjp-8.0.18\bin;C:\Program Files\Haskell\bin;C:\ghc-6.10.1\bin;C:\Program Files\Internet\SSH Secure Shell;C:\Scala2.7.1\bin
java.specification.name = Java Platform API Specification
java.class.version = 50.0
sun.management.compiler = HotSpot Client Compiler
os.version = 5.1
user.home = <anonymized user.home>
user.timezone = America/Chicago
java.awt.printerjob = sun.awt.windows.WPrinterJob
file.encoding = Cp1252
java.specification.version = 1.6
java.class.path = <anonymized user.home>\Desktop\drjava.jar
user.name = <anonymized user.name>
java.vm.specification.version = 1.0
java.home = C:\jre1.6.0_18-ea-b03
sun.arch.data.model = 32
user.language = en
java.specification.vendor = Sun Microsystems Inc.
awt.toolkit = sun.awt.windows.WToolkit
java.vm.info = mixed mode
java.version = 1.6.0_18-ea
java.ext.dirs = C:\jre1.6.0_18-ea-b03\lib\ext;C:\WINDOWS\Sun\Java\lib\ext
sun.boot.class.path = C:\jre1.6.0_18-ea-b03\lib\resources.jar;C:\jre1.6.0_18-ea-b03\lib\rt.jar;C:\jre1.6.0_18-ea-b03\lib\sunrsasign.jar;C:\jre1.6.0_18-ea-b03\lib\jsse.jar;C:\jre1.6.0_18-ea-b03\lib\jce.jar;C:\jre1.6.0_18-ea-b03\lib\charsets.jar;C:\jre1.6.0_18-ea-b03\classes
java.vendor = Sun Microsystems Inc.
file.separator = \
java.vendor.url.bug = http://java.sun.com/cgi-bin/bugreport.cgi
sun.io.unicode.encoding = UnicodeLittle
sun.cpu.endian = little
java.rmi.server.hostname = 127.0.0.1
sun.desktop = windows
sun.cpu.isalist = pentium_pro+mmx pentium_pro pentium+mmx pentium i486 i386 i86
#DrJava configuration file
#Mon Nov 30 23:58:41 CST 2009
lineenum.enabled = true
plastic.theme = ExperienceBlue
key.delete.next = [shift DELETE]
key.delete.previous = [shift BACK_SPACE]
find.replace.match.case = false
javadoc.additional.links = [http://drjava.org/javadoc/plt]
quit.prompt = false
open.folder.recursive = true
indent.level = 4
force.test.suffix = true
recent.files = [R:\\Mint\\java-mint\\trunk\\langtools\\mintTest\\habanero\\bhp\\complex.java,<anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\trunk\\misc\\BHP-Dipole1D\\port-java-to-mint\\src\\habanero\\bhp\\CallDipole1D.java,<anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\trunk\\misc\\BHP-Dipole1D\\port-java-to-mint\\src\\habanero\\bhp\\Dipole1D.java,<anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\trunk\\misc\\BHP-Dipole1D\\port-java-to-mint\\src\\habanero\\bhp\\HankelFilters.java,<anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\trunk\\misc\\BHP-Dipole1D\\port-java-to-mint\\src\\habanero\\bhp\\SinCosFilters.java]
recent.projects = [<anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\trunk\\misc\\BHP-Dipole1D\\port-java-to-mint\\BHP-Dipole1D-port-java-to-mint.drjava,<anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\trunk\\misc\\BHP-Dipole1D\\port-hj-to-mint\\BHP-Dipole1D-port-hj-to-mint.drjava,<anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\trunk\\misc\\BHP-Dipole1D\\java-original\\BHP-Dipole1D-java-original.drjava,<anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\hj\\BHP-Dipole1D\\java-arrayviews\\dipole1Djava-arrayviews.drjava,<anonymized user.home>\\Documents\\Research\\Concutest\\ClassLoader.drjava]
window.height = 1555
window.width = 1208
window.x = -4
window.y = -4
window.state = 6
doc.list.width = 208
last.dir = <anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\trunk\\langtools\\mintTest\\hj\\array\\view
last.interactions.dir = <anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\trunk\\langtools\\mintTest
master.jvm.args = -ea
master.jvm.xmx = 1536
dialog.clipboard.history.state = 671 740 399 573
dialog.completeword.javaapi = true
tabbedpanes.state = 1201 1 1201 733
tabbedpanes.detach = true
debugger.state = 1248 668 1142 400
debugger.detach = true
dialog.jaroptions.state = 1605 638
find.replace.focus.in.defpane = true
new.version.notification = weekly experimental builds
new.version.notification.last = 1259640851156
drjava.survey.notification.last = 1259647006140
drjava.survey.result.last = http://www.drjava.org/submit-usage.php?rev=5138&os.name=Windows%20XP&os.version=5.1&java.version=1.6.0_18-ea&java.vendor=Sun%20Microsystems%20Inc.
concjunit.checks.enabled = all-threads, no-join, lucky
Used memory: about 31.75 megabytes
Free memory: about 9.65 megabytes
Total memory: about 41.41 megabytes
Total memory can expand to: about 1.49 gigabytes
Number of processors/cores: 2
Compiler Discovery Log:
From config: not set
From runtime: invalid JDK library 6.0_18-ea
Dir added: C:\jre1.6.0_18-ea-b03
Dir added: C:\
Dir added: C:\
Dir not added: C:\Program Files\Java
Dir added: C:\Program Files
Dir not added: C:\Program Files\Java
Dir added: C:\Program Files
Dir not added: C:\Java
Dir added: C:\
Dir not added: C:\Java
Dir added: C:\
Dir not added: <anonymized user.home>\System\Library\Frameworks\JavaVM.framework\Versions
Dir not added: <anonymized user.home>\usr\java
Dir not added: <anonymized user.home>\usr\j2se
Dir not added: <anonymized user.home>\usr
Dir not added: <anonymized user.home>\usr\local\java
Dir not added: <anonymized user.home>\usr\local\j2se
Dir not added: <anonymized user.home>\usr\local
Dir not added: <anonymized user.home>\usr\lib\jvm
Dir not added: <anonymized user.home>\usr\lib\jvm\java-6-sun
Dir not added: <anonymized user.home>\usr\lib\jvm\java-1.5.0-sun
Dir not added: <anonymized user.home>\usr\lib\jvm\java-6-openjdk
Dir not added: <anonymized user.home>\home\javaplt\java\Linux-i686
File added: C:\jdk\lib\tools.jar
File not added: C:\jdk\Classes\classes.jar
File added: C:\jdk1.4.2\lib\tools.jar
File not added: C:\jdk1.4.2\Classes\classes.jar
File added: C:\jdk1.4.2_16\lib\tools.jar
File not added: C:\jdk1.4.2_16\Classes\classes.jar
File added: C:\jdk1.5.0\lib\tools.jar
File not added: C:\jdk1.5.0\Classes\classes.jar
File added: C:\jdk1.5.0_10_xajavac\lib\tools.jar
File not added: C:\jdk1.5.0_10_xajavac\Classes\classes.jar
File added: C:\jdk1.5.0_14\lib\tools.jar
File not added: C:\jdk1.5.0_14\Classes\classes.jar
File added: C:\jdk1.6.0\lib\tools.jar
File not added: C:\jdk1.6.0\Classes\classes.jar
File added: C:\jdk1.6.0_15\lib\tools.jar
File not added: C:\jdk1.6.0_15\Classes\classes.jar
File added: C:\jdk1.6.0_16\lib\tools.jar
File not added: C:\jdk1.6.0_16\Classes\classes.jar
File added: C:\jdk1.6.0_18-ea-b03\lib\tools.jar
File not added: C:\jdk1.6.0_18-ea-b03\Classes\classes.jar
File added: C:\jdk1.7.0_b35-jsr308-0.7.9\lib\tools.jar
File not added: C:\jdk1.7.0_b35-jsr308-0.7.9\Classes\classes.jar
File added: C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\lib\tools.jar
File not added: C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\Classes\classes.jar
File not added: C:\Program Files\JavaMint\lib\tools.jar
File not added: C:\Program Files\JavaMint\Classes\classes.jar
File added: C:\Program Files\JavaMint\langtools\dist\lib\classes.jar
File not added: C:\Program Files\JavaMint\langtools\dist\lib\tools.jar
File not added: <anonymized user.home>\usr\local\soylatte\lib\classes.jar
File not added: <anonymized user.home>\usr\local\soylatte\lib\tools.jar
File not added: <anonymized user.home>\usr\local\JavaMint\langtools\dist\lib\classes.jar
File not added: <anonymized user.home>\usr\local\JavaMint\langtools\dist\lib\tools.jar
MINT_HOME not set
File added: <anonymized user.home>\Desktop\drjava.jar
mintLib: Java 6.0_18-ea-Mint
C:\Program Files\JavaMint\langtools\dist\lib\classes.jar
exact? Java 6.0_18-ea-b03
found
==> Java 6.0_18-ea-Mint
Result:
Found library: JDK library 6.0_18-ea-b03 at C:\jdk1.6.0_18-ea-b03\lib\tools.jar, boot classpath: [C:\jdk1.6.0_18-ea-b03\jre\lib\alt-rt.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\charsets.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\deploy.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\javaws.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\jce.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\jsse.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\management-agent.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\plugin.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\resources.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\rt.jar]
Found library: JDK library 6.0_18-ea at C:\jdk\lib\tools.jar, boot classpath: [C:\jdk\jre\lib\alt-rt.jar, C:\jdk\jre\lib\charsets.jar, C:\jdk\jre\lib\deploy.jar, C:\jdk\jre\lib\javaws.jar, C:\jdk\jre\lib\jce.jar, C:\jdk\jre\lib\jsse.jar, C:\jdk\jre\lib\management-agent.jar, C:\jdk\jre\lib\plugin.jar, C:\jdk\jre\lib\resources.jar, C:\jdk\jre\lib\rt.jar]
Found library: JDK library 6.0_16 at C:\jdk1.6.0_16\lib\tools.jar, boot classpath: [C:\jdk1.6.0_16\jre\lib\alt-rt.jar, C:\jdk1.6.0_16\jre\lib\charsets.jar, C:\jdk1.6.0_16\jre\lib\deploy.jar, C:\jdk1.6.0_16\jre\lib\javaws.jar, C:\jdk1.6.0_16\jre\lib\jce.jar, C:\jdk1.6.0_16\jre\lib\jsse.jar, C:\jdk1.6.0_16\jre\lib\management-agent.jar, C:\jdk1.6.0_16\jre\lib\plugin.jar, C:\jdk1.6.0_16\jre\lib\resources.jar, C:\jdk1.6.0_16\jre\lib\rt.jar]
Found library: JDK library 6.0_15 at C:\jdk1.6.0_15\lib\tools.jar, boot classpath: [C:\jdk1.6.0_15\jre\lib\alt-rt.jar, C:\jdk1.6.0_15\jre\lib\charsets.jar, C:\jdk1.6.0_15\jre\lib\deploy.jar, C:\jdk1.6.0_15\jre\lib\javaws.jar, C:\jdk1.6.0_15\jre\lib\jce.jar, C:\jdk1.6.0_15\jre\lib\jsse.jar, C:\jdk1.6.0_15\jre\lib\management-agent.jar, C:\jdk1.6.0_15\jre\lib\plugin.jar, C:\jdk1.6.0_15\jre\lib\resources.jar, C:\jdk1.6.0_15\jre\lib\rt.jar]
Found library: JDK library 6.0 at C:\jdk1.6.0\lib\tools.jar, boot classpath: [C:\jdk1.6.0\jre\lib\alt-rt.jar, C:\jdk1.6.0\jre\lib\charsets.jar, C:\jdk1.6.0\jre\lib\deploy.jar, C:\jdk1.6.0\jre\lib\javaws.jar, C:\jdk1.6.0\jre\lib\jce.jar, C:\jdk1.6.0\jre\lib\jsse.jar, C:\jdk1.6.0\jre\lib\management-agent.jar, C:\jdk1.6.0\jre\lib\plugin.jar, C:\jdk1.6.0\jre\lib\resources.jar, C:\jdk1.6.0\jre\lib\rt.jar]
Found library: JDK library 6.0-OpenJDK at C:\jdk1.7.0_b35-jsr308-0.7.9\lib\tools.jar, boot classpath: [C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\charsets.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\deploy.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\javaws.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\jce.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\jsse.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\management-agent.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\plugin.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\resources.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\rt.jar]
Found library: JDK library 6.0-OpenJDK at C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\lib\tools.jar, boot classpath: [C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\charsets.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\deploy.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\javaws.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\jce.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\jsse.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\management-agent.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\plugin.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\resources.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\rt.jar]
Found library: JDK library 5.0_14 at C:\jdk1.5.0_14\lib\tools.jar, boot classpath: [C:\jdk1.5.0_14\jre\lib\charsets.jar, C:\jdk1.5.0_14\jre\lib\deploy.jar, C:\jdk1.5.0_14\jre\lib\javaws.jar, C:\jdk1.5.0_14\jre\lib\jce.jar, C:\jdk1.5.0_14\jre\lib\jsse.jar, C:\jdk1.5.0_14\jre\lib\plugin.jar, C:\jdk1.5.0_14\jre\lib\rt.jar]
Found library: JDK library 5.0_10 at C:\jdk1.5.0_10_xajavac\lib\tools.jar, boot classpath: [C:\jdk1.5.0_10_xajavac\jre\lib\charsets.jar, C:\jdk1.5.0_10_xajavac\jre\lib\deploy.jar, C:\jdk1.5.0_10_xajavac\jre\lib\javaws.jar, C:\jdk1.5.0_10_xajavac\jre\lib\jce.jar, C:\jdk1.5.0_10_xajavac\jre\lib\jsse.jar, C:\jdk1.5.0_10_xajavac\jre\lib\plugin.jar, C:\jdk1.5.0_10_xajavac\jre\lib\rt.jar]
Found library: JDK library 5.0 at C:\jdk1.5.0\lib\tools.jar, boot classpath: [C:\jdk1.5.0\jre\lib\charsets.jar, C:\jdk1.5.0\jre\lib\deploy.jar, C:\jdk1.5.0\jre\lib\javaws.jar, C:\jdk1.5.0\jre\lib\jce.jar, C:\jdk1.5.0\jre\lib\jsse.jar, C:\jdk1.5.0\jre\lib\plugin.jar, C:\jdk1.5.0\jre\lib\rt.jar]
Found library: JDK library 1.4.2_16 at C:\jdk1.4.2_16\lib\tools.jar, boot classpath: null
Found library: JDK library 1.4.2 at C:\jdk1.4.2\lib\tools.jar, boot classpath: null
Found library: JDK library 6.0_18-ea-Mint at C:\Program Files\JavaMint\langtools\dist\lib\classes.jar, boot classpath: [C:\Program Files\JavaMint\langtools\dist\lib\classes.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\alt-rt.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\charsets.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\deploy.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\javaws.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\jce.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\jsse.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\management-agent.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\plugin.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\resources.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\rt.jar]
From search: JDK library 6.0_18-ea-b03 at C:\jdk1.6.0_18-ea-b03\lib\tools.jar, boot classpath: [C:\jdk1.6.0_18-ea-b03\jre\lib\alt-rt.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\charsets.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\deploy.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\javaws.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\jce.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\jsse.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\management-agent.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\plugin.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\resources.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\rt.jar]
From search: duplicate JDK library 6.0_18-ea at C:\jdk\lib\tools.jar, boot classpath: [C:\jdk\jre\lib\alt-rt.jar, C:\jdk\jre\lib\charsets.jar, C:\jdk\jre\lib\deploy.jar, C:\jdk\jre\lib\javaws.jar, C:\jdk\jre\lib\jce.jar, C:\jdk\jre\lib\jsse.jar, C:\jdk\jre\lib\management-agent.jar, C:\jdk\jre\lib\plugin.jar, C:\jdk\jre\lib\resources.jar, C:\jdk\jre\lib\rt.jar]
From search: duplicate JDK library 6.0_16 at C:\jdk1.6.0_16\lib\tools.jar, boot classpath: [C:\jdk1.6.0_16\jre\lib\alt-rt.jar, C:\jdk1.6.0_16\jre\lib\charsets.jar, C:\jdk1.6.0_16\jre\lib\deploy.jar, C:\jdk1.6.0_16\jre\lib\javaws.jar, C:\jdk1.6.0_16\jre\lib\jce.jar, C:\jdk1.6.0_16\jre\lib\jsse.jar, C:\jdk1.6.0_16\jre\lib\management-agent.jar, C:\jdk1.6.0_16\jre\lib\plugin.jar, C:\jdk1.6.0_16\jre\lib\resources.jar, C:\jdk1.6.0_16\jre\lib\rt.jar]
From search: duplicate JDK library 6.0_15 at C:\jdk1.6.0_15\lib\tools.jar, boot classpath: [C:\jdk1.6.0_15\jre\lib\alt-rt.jar, C:\jdk1.6.0_15\jre\lib\charsets.jar, C:\jdk1.6.0_15\jre\lib\deploy.jar, C:\jdk1.6.0_15\jre\lib\javaws.jar, C:\jdk1.6.0_15\jre\lib\jce.jar, C:\jdk1.6.0_15\jre\lib\jsse.jar, C:\jdk1.6.0_15\jre\lib\management-agent.jar, C:\jdk1.6.0_15\jre\lib\plugin.jar, C:\jdk1.6.0_15\jre\lib\resources.jar, C:\jdk1.6.0_15\jre\lib\rt.jar]
From search: duplicate JDK library 6.0 at C:\jdk1.6.0\lib\tools.jar, boot classpath: [C:\jdk1.6.0\jre\lib\alt-rt.jar, C:\jdk1.6.0\jre\lib\charsets.jar, C:\jdk1.6.0\jre\lib\deploy.jar, C:\jdk1.6.0\jre\lib\javaws.jar, C:\jdk1.6.0\jre\lib\jce.jar, C:\jdk1.6.0\jre\lib\jsse.jar, C:\jdk1.6.0\jre\lib\management-agent.jar, C:\jdk1.6.0\jre\lib\plugin.jar, C:\jdk1.6.0\jre\lib\resources.jar, C:\jdk1.6.0\jre\lib\rt.jar]
From search: JDK library 6.0-OpenJDK at C:\jdk1.7.0_b35-jsr308-0.7.9\lib\tools.jar, boot classpath: [C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\charsets.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\deploy.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\javaws.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\jce.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\jsse.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\management-agent.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\plugin.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\resources.jar, C:\jdk1.7.0_b35-jsr308-0.7.9\jre\lib\rt.jar]
From search: duplicate JDK library 6.0-OpenJDK at C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\lib\tools.jar, boot classpath: [C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\charsets.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\deploy.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\javaws.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\jce.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\jsse.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\management-agent.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\plugin.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\resources.jar, C:\jdk1.7.0_b35-jsr308-0.7.9-xajavac\jre\lib\rt.jar]
From search: JDK library 5.0_14 at C:\jdk1.5.0_14\lib\tools.jar, boot classpath: [C:\jdk1.5.0_14\jre\lib\charsets.jar, C:\jdk1.5.0_14\jre\lib\deploy.jar, C:\jdk1.5.0_14\jre\lib\javaws.jar, C:\jdk1.5.0_14\jre\lib\jce.jar, C:\jdk1.5.0_14\jre\lib\jsse.jar, C:\jdk1.5.0_14\jre\lib\plugin.jar, C:\jdk1.5.0_14\jre\lib\rt.jar]
From search: duplicate JDK library 5.0_10 at C:\jdk1.5.0_10_xajavac\lib\tools.jar, boot classpath: [C:\jdk1.5.0_10_xajavac\jre\lib\charsets.jar, C:\jdk1.5.0_10_xajavac\jre\lib\deploy.jar, C:\jdk1.5.0_10_xajavac\jre\lib\javaws.jar, C:\jdk1.5.0_10_xajavac\jre\lib\jce.jar, C:\jdk1.5.0_10_xajavac\jre\lib\jsse.jar, C:\jdk1.5.0_10_xajavac\jre\lib\plugin.jar, C:\jdk1.5.0_10_xajavac\jre\lib\rt.jar]
From search: duplicate JDK library 5.0 at C:\jdk1.5.0\lib\tools.jar, boot classpath: [C:\jdk1.5.0\jre\lib\charsets.jar, C:\jdk1.5.0\jre\lib\deploy.jar, C:\jdk1.5.0\jre\lib\javaws.jar, C:\jdk1.5.0\jre\lib\jce.jar, C:\jdk1.5.0\jre\lib\jsse.jar, C:\jdk1.5.0\jre\lib\plugin.jar, C:\jdk1.5.0\jre\lib\rt.jar]
From search: JDK library 1.4.2_16 at C:\jdk1.4.2_16\lib\tools.jar, boot classpath: null
From search: duplicate JDK library 1.4.2 at C:\jdk1.4.2\lib\tools.jar, boot classpath: null
From search: JDK library 6.0_18-ea-Mint at C:\Program Files\JavaMint\langtools\dist\lib\classes.jar, boot classpath: [C:\Program Files\JavaMint\langtools\dist\lib\classes.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\alt-rt.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\charsets.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\deploy.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\javaws.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\jce.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\jsse.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\management-agent.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\plugin.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\resources.jar, C:\jdk1.6.0_18-ea-b03\jre\lib\rt.jar]
This is the assertion that is being violated:
assert doc != null && end >= start;