#850 AssertionError When Doing "Find Again" in "Find All" Results
java.lang.AssertionError
at edu.rice.cs.drjava.model.ConcreteRegionManager.addRegion(ConcreteRegionManager.java:301)
at edu.rice.cs.drjava.model.ConcreteRegionManager.addRegion(ConcreteRegionManager.java:58)
at edu.rice.cs.drjava.ui.FindReplacePanel.findAll(FindReplacePanel.java:655)
at edu.rice.cs.drjava.ui.FindResultsPanel._findAgain(FindResultsPanel.java:286)
at edu.rice.cs.drjava.ui.FindResultsPanel.access$000(FindResultsPanel.java:66)
at edu.rice.cs.drjava.ui.FindResultsPanel$2.actionPerformed(FindResultsPanel.java:193)
at javax.swing.AbstractButton.fireActionPerformed(Unknown Source)
at javax.swing.AbstractButton$Handler.actionPerformed(Unknown Source)
at javax.swing.DefaultButtonModel.fireActionPerformed(Unknown Source)
at javax.swing.DefaultButtonModel.setPressed(Unknown Source)
at javax.swing.plaf.basic.BasicButtonListener.mouseReleased(Unknown Source)
at java.awt.AWTEventMulticaster.mouseReleased(Unknown Source)
at java.awt.Component.processMouseEvent(Unknown Source)
at javax.swing.JComponent.processMouseEvent(Unknown Source)
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.LightweightDispatcher.retargetMouseEvent(Unknown Source)
at java.awt.LightweightDispatcher.processMouseEvent(Unknown Source)
at java.awt.LightweightDispatcher.dispatchEvent(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-20100326-r5199
DrJava Build Time 20100326-0321
drjava.debug.port = 4137
java.runtime.name = Java(TM) SE Runtime Environment
sun.boot.library.path = C:\jre1.6.0_18\bin
java.vm.version = 16.0-b13
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-b07
java.awt.graphicsenv = sun.awt.Win32GraphicsEnvironment
java.endorsed.dirs = C:\jre1.6.0_18\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\bin;.;C:\WINDOWS\Sun\Java\bin;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\system32\wbem;C:\Program Files\Common Files\Microsoft Shared\Windows Live;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:\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\Common Files\DivX Shared;C:\Program Files\Dev\SlikSvn1.6.9\bin\;C:\Program Files\Common Files\Microsoft Shared\Windows Live;C:\Program Files\Haskell\bin;C:\ghc-6.10.1\bin;C:\Program Files\Internet\SSH Secure Shell;C:\Scala2.7.1\bin;C:\cygwin\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
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
java.ext.dirs = C:\jre1.6.0_18\lib\ext;C:\WINDOWS\Sun\Java\lib\ext
sun.boot.class.path = C:\jre1.6.0_18\lib\resources.jar;C:\jre1.6.0_18\lib\rt.jar;C:\jre1.6.0_18\lib\sunrsasign.jar;C:\jre1.6.0_18\lib\jsse.jar;C:\jre1.6.0_18\lib\jce.jar;C:\jre1.6.0_18\lib\charsets.jar;C:\jre1.6.0_18\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
#Fri Mar 26 08:56:03 CDT 2010
lineenum.enabled = true
look.and.feel = com.jgoodies.looks.plastic.PlasticXPLookAndFeel
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,http://www.sable.mcgill.ca/soot/doc]
quit.prompt = false
open.folder.recursive = true
indent.level = 4
force.test.suffix = true
language.level = 3
recent.files = [<anonymized user.home>\\Documents\\Dev\\Java\\WebOfLore\\src\\model\\WOLModel.java,<anonymized user.home>\\Documents\\Dev\\Java\\Box.java,<anonymized user.home>\\Documents\\Dev\\Java\\testPackage\\DJ2Class.dj2,<anonymized user.home>\\Documents\\Dev\\Java\\testPackage\\DJ2Class.java,<anonymized user.home>\\Documents\\drjava\\drjava.all\\trunk\\javalanglevels\\src\\edu\\rice\\cs\\javalanglevels\\AdvancedLevelTest.java]
recent.projects = [<anonymized user.home>\\Downloads\\laundry\\laundry\\laundry.drjava,R:\\Concutest\\staticAnalysis\\staticAnalysis.drjava,<anonymized user.home>\\Documents\\drjava\\drjava.xml,<anonymized user.home>\\Documents\\drjava\\drjava.almost.all.drjava,<anonymized user.home>\\Documents\\Research\\Mint\\java-mint\\java-mint.xml]
window.height = 1555
window.width = 1208
window.x = -4
window.y = -4
window.state = 6
doc.list.width = 229
last.dir = <anonymized user.home>\\Documents\\drjava\\drjava\\src\\edu\\rice\\cs\\drjava\\model\\repl\\newjvm
last.interactions.dir = <anonymized user.home>\\Documents\\drjava
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 = 1201 730 1198 401
debugger.detach = true
dialog.jaroptions.state = 1605 638
find.replace.focus.in.defpane = true
new.version.notification = weekly experimental builds
new.version.notification.last = 1269022383847
drjava.survey.notification.last = 1269573773093
drjava.survey.result.last = http://www.drjava.org/submit-usage.php?rev=5199&os.name=Windows%20XP&os.version=5.1&java.version=1.6.0_18&java.vendor=Sun%20Microsystems%20Inc.
concjunit.checks.enabled = all-threads, no-join, lucky
Used memory: about 142.86 megabytes
Free memory: about 129.86 megabytes
Total memory: about 272.71 megabytes
Total memory can expand to: about 1.45 gigabytes
Number of processors/cores: 2
Compiler Discovery Log:
From config: not set
From runtime: invalid JDK library 6.0_18
Dir added: C:\jre1.6.0_18
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\lib\tools.jar
File not added: C:\jdk1.6.0_18\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-Mint
C:\Program Files\JavaMint\langtools\dist\lib\classes.jar
exact? Java 6.0_18
found
==> Java 6.0_18-Mint
Result:
Found library: JDK library 6.0_18 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_18 at C:\jdk1.6.0_18\lib\tools.jar, boot classpath: [C:\jdk1.6.0_18\jre\lib\alt-rt.jar, C:\jdk1.6.0_18\jre\lib\charsets.jar, C:\jdk1.6.0_18\jre\lib\deploy.jar, C:\jdk1.6.0_18\jre\lib\javaws.jar, C:\jdk1.6.0_18\jre\lib\jce.jar, C:\jdk1.6.0_18\jre\lib\jsse.jar, C:\jdk1.6.0_18\jre\lib\management-agent.jar, C:\jdk1.6.0_18\jre\lib\plugin.jar, C:\jdk1.6.0_18\jre\lib\resources.jar, C:\jdk1.6.0_18\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-Mint at C:\Program Files\JavaMint\langtools\dist\lib\classes.jar, boot classpath: [C:\Program Files\JavaMint\langtools\dist\lib\classes.jar, 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: JDK library 6.0_18 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_18 at C:\jdk1.6.0_18\lib\tools.jar, boot classpath: [C:\jdk1.6.0_18\jre\lib\alt-rt.jar, C:\jdk1.6.0_18\jre\lib\charsets.jar, C:\jdk1.6.0_18\jre\lib\deploy.jar, C:\jdk1.6.0_18\jre\lib\javaws.jar, C:\jdk1.6.0_18\jre\lib\jce.jar, C:\jdk1.6.0_18\jre\lib\jsse.jar, C:\jdk1.6.0_18\jre\lib\management-agent.jar, C:\jdk1.6.0_18\jre\lib\plugin.jar, C:\jdk1.6.0_18\jre\lib\resources.jar, C:\jdk1.6.0_18\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-Mint at C:\Program Files\JavaMint\langtools\dist\lib\classes.jar, boot classpath: [C:\Program Files\JavaMint\langtools\dist\lib\classes.jar, 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]
The assert that fails is
assert _documents.contains(odd);
For some reason, after the document was added, the field
private volatile Set<OpenDefinitionsDocument> _documents
does not contain the document.
We should check that the method is only run in the event thread. That could prevent some concurrency problems.