Commits

Colin Gordon committed fa4e1de Draft

Checking in the paper data

Comments (0)

Files changed (1)

+javac -encoding ISO-8859-1 -J-Xbootclasspath/p:/homes/gws/csgordon/research/guitypes/checker/binary/jsr308-all.jar -Xmaxerrs 9999 -cp /homes/gws/csgordon/research/guitypes/checker/dist/lib/guitypes-20120807.jar:/usr/share/java/ant.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.debug_3.7.0.dist/jdimodel.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/ch.qos.logback.classic_0.9.19.v20100519-1505.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/ch.qos.logback.classic.source_0.9.19.v20100519-1505.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/ch.qos.logback.core_0.9.19.v20100419-1216.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/ch.qos.logback.core.source_0.9.19.v20100419-1216.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/ch.qos.logback.slf4j_0.9.19.v20100519-1910.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/ch.qos.logback.slf4j.source_0.9.19.v20100519-1910.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/com.google.protobuf_2.4.0.v201105131100.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/com.sun.el_1.0.0.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/com.sun.el.source_1.0.0.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/de.anbos.eclipse.logviewer.plugin_0.9.8.8.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.activation_1.1.0.v201005080500.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.el_2.1.0.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.el.source_2.1.0.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.jms_1.1.0.v201205091237.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.mail.glassfish_1.4.1.v201005082020.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.mail.glassfish.source_1.4.1.v201005082020.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.servlet_2.5.0.v200910301333.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.servlet.jsp_2.1.0.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.servlet.jsp.jstl_1.2.0.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.servlet.jsp.jstl.source_1.2.0.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.servlet.jsp.source_2.1.0.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.servlet.source_2.5.0.v200910301333.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.transaction_1.1.1.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/javax.transaction.source_1.1.1.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.jasper.glassfish_2.1.0.v201007080150.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.jasper.glassfish.source_2.1.0.v201007080150.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.log4j_1.2.15.v201012070815.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.lucene.highlighter_2.9.1.v20100421-0704.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.lucene.memory_2.9.1.v20100421-0704.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.lucene.misc_2.9.1.v20100421-0704.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.lucene.queries_2.9.1.v20100421-0704.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.lucene.snowball_2.9.1.v20100421-0704.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.lucene.spellchecker_2.9.1.v20100421-0704.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.taglibs.standard.glassfish_1.2.0.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.apache.taglibs.standard.glassfish.source_1.2.0.v201004190952.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.draw2d_3.6.2.v20110128-0100.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.draw2d.doc.isv_3.5.0.v20100519-2050.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.draw2d.source_3.6.2.v20110128-0100.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.equinox.http.servlet_1.1.0.v20100503.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.equinox.http.servlet.source_1.1.0.v20100503.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.gef_3.6.2.v20110110-2020.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.gef.doc.isv_3.5.0.v20100519-2050.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.gef.examples.ui.pde_3.5.2.v20110128-0100.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.gef.source_3.6.2.v20110110-2020.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jdt.core.compiler.batch_3.6.0.M20100811-0800.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jdt.core.compiler.batch.source_3.6.0.M20100811-0800.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.annotations_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.annotations.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.client_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.client.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.continuation_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.continuation.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.deploy_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.deploy.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.http_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.http.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.io_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.io.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.jmx_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.jmx.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.jndi_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.jndi.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.boot.jsp_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.boot.jsp.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.boot.logback_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.boot.logback.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.boot.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.boot.warurl_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.boot.warurl.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.httpservice_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.httpservice.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.pde.launch_7.1.6.v20100831.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.pde.launch.source_7.1.6.v20100831.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.pde.templates_7.1.6.v20100831.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.osgi.pde.templates.source_7.1.6.v20100831.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.plus_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.plus.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.rewrite_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.rewrite.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.security_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.security.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.server_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.server.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.servlet_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.servlets_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.servlet.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.servlets.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.util_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.util.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.webapp_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.webapp.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.websocket_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.websocket.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.xml_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.jetty.xml.source_7.1.6.v20100715.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.eclipse.team.cvs.ssh_3.2.100.I20090508-2000.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.hamcrest_1.1.0.v20090501071000.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.hamcrest.integration_1.1.0.v20090501071000.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.hamcrest.library_1.1.0.v20090501071000.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.hamcrest.text_1.1.0.v20090501071000.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.jvmmonitor.doc_3.8.0.201205120500.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.jvmmonitor.tools_3.8.0.201205120500.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.kohsuke.args4j_2.0.12.v200910131500.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.mockito.source_1.8.4.v201102171835.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.mortbay.jetty_5.1.14.v200806031611.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.mortbay.management_6.1.15.v201006150915.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.objectweb.asm_3.2.0.v200909071300.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.objectweb.asm.source_3.2.0.v200909071300.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.slf4j.api_1.5.11.v20100519-1910.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.slf4j.api.source_1.5.11.v20100519-1910.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.slf4j.ext.source_1.5.11.v20100419-1106.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.slf4j.jcl_1.5.11.v20100419-1106.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.slf4j.jcl.source_1.5.11.v20100419-1106.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.slf4j.jul_1.5.11.v20100419-1106.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.slf4j.jul.source_1.5.11.v20100419-1106.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.slf4j.log4j_1.5.11.v20100419-1106.jar:/homes/gws/csgordon/.eclipse/org.eclipse.platform_3.7.0_155965261/plugins/org.slf4j.log4j.source_1.5.11.v20100419-1106.jar:/usr/lib/eclipse/dropins/jdt/plugins/junit4.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.ant.launching_1.0.100.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.ant.ui_3.5.100.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.apt.core_3.3.500.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.apt.pluggable.core_1.0.400.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.apt.ui_3.3.300.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.compiler.apt_1.0.400.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.compiler.tool_1.0.100.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.core_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.core.manipulation_1.4.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.debug.ui_3.6.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.doc.user_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.junit_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.junit4.runtime_1.1.200.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.junit.core_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.junit.runtime_3.4.300.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.launching_3.6.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.ui_3.7.0.dist.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.hamcrest.core_1.1.0.jar:/usr/lib/eclipse/plugins/com.ibm.icu_4.4.2.v20110208.jar:/usr/lib/eclipse/plugins/com.jcraft.jsch_0.1.42.jar:/usr/lib/eclipse/plugins/javax.servlet_2.5.0.v200806031605.jar:/usr/lib/eclipse/plugins/javax.servlet.jsp_2.0.0.v200806031607.jar:/usr/lib/eclipse/plugins/org.apache.commons.codec_1.4.0.jar:/usr/lib/eclipse/plugins/org.apache.commons.el_1.0.0.v200806031608.jar:/usr/lib/eclipse/plugins/org.apache.commons.httpclient_3.1.0.jar:/usr/lib/eclipse/plugins/org.apache.commons.logging_1.0.4.v20080605-1930.jar:/usr/lib/eclipse/plugins/org.apache.jasper_5.5.26.jar:/usr/lib/eclipse/plugins/org.apache.lucene_2.9.1.dist.jar:/usr/lib/eclipse/plugins/org.apache.lucene.analysis_2.9.4.jar:/usr/lib/eclipse/plugins/org.apache.lucene.core_2.9.4.jar:/usr/lib/eclipse/plugins/org.eclipse.ant.core_3.2.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.compare_3.5.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.compare.core_3.5.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.boot_3.1.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.commands_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.contenttype_3.4.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.databinding_1.4.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.databinding.beans_1.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.databinding.observable_1.4.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.databinding.property_1.4.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.expressions_3.4.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.externaltools_1.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.filebuffers_3.5.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.filesystem_1.3.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.filesystem.linux.x86_64_1.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.jobs_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.net_1.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.net.linux.x86_64_1.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.resources_3.7.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.runtime_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.runtime.compatibility_3.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.runtime.compatibility.auth_3.2.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.core.variables_3.2.500.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.cvs_1.1.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.debug.core_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.debug.ui_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf_3.1.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.filetransfer_5.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.identity_3.1.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.provider.filetransfer_3.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.provider.filetransfer.httpclient_4.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.provider.filetransfer.httpclient.ssl_1.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.provider.filetransfer.ssl_1.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ecf.ssl_1.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.app_1.3.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.common_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.concurrent_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.ds_1.3.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.event_1.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.frameworkadmin_2.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.frameworkadmin.equinox_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.http.jetty_2.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.http.registry_1.1.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.http.servlet_1.1.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.initializer_1.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.jsp.jasper_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.jsp.jasper.registry_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.launcher_1.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.artifact.repository_1.1.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.console_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.core_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.director_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.director.app_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.directorywatcher_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.engine_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.extensionlocation_1.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.garbagecollector_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.jarprocessor_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.metadata_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.metadata.repository_1.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.operations_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.publisher_1.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.ql_2.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.reconciler.dropins_1.1.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.repository_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.repository.tools_2.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.touchpoint.eclipse_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.touchpoint.natives_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.transport.ecf_1.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.ui_2.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.ui.importexport_1.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.ui.sdk_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.ui.sdk.scheduler_1.0.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.updatechecker_1.1.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.p2.updatesite_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.preferences_3.4.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.registry_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.security_1.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.security.ui_1.1.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.simpleconfigurator_1.0.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.simpleconfigurator.manipulator_2.0.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.equinox.util_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.help_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.help.appserver_3.1.400.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.help.base_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.help.ui_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.help.webapp_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.jface_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.jface.databinding_1.5.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.jface.text_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.jsch.core_1.1.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.jsch.ui_1.1.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ltk.core.refactoring_3.5.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ltk.ui.refactoring_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.osgi_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.osgi.services_3.3.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.osgi.util_3.2.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.platform.doc.user_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.rcp_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.search_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.swt_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.swt.gtk.linux.x86_64_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.team.core_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.team.cvs.core_3.3.400.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.team.cvs.ssh2_3.2.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.team.cvs.ui_3.3.400.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.team.ui_3.6.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.text_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.browser_3.3.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.cheatsheets_3.4.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.console_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.editors_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.externaltools_3.2.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.forms_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.ide_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.ide.application_1.0.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.intro_3.4.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.navigator_3.5.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.navigator.resources_3.4.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.net_1.2.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.presentations.r21_3.2.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.views_3.6.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.views.properties.tabbed_3.5.200.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.workbench_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.ui.workbench.texteditor_3.7.0.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.update.configurator_3.3.100.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.update.core_3.2.500.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.update.scheduler_3.2.300.dist.jar:/usr/lib/eclipse/plugins/org.eclipse.update.ui_3.2.300.dist.jar:/usr/lib/eclipse/plugins/org.mortbay.jetty.server_6.1.24.jar:/usr/lib/eclipse/plugins/org.mortbay.jetty.util_6.1.24.jar:/usr/lib/eclipse/plugins/org.sat4j.core_2.3.0.WHEEZY.jar:/usr/lib/eclipse/plugins/org.sat4j.pb_2.3.0.WHEEZY.jar::/homes/gws/csgordon/research/experiments/timed/jvmmonitor/jvmmonitor-read-only/org.jvmmonitor.ui/lib/org.swtchart_0.8.0.v20120301.jar -processor guitypes.checkers.GUIEffectsChecker
+~/research/guitypes/checker ~/research/experiments/timed/subclipse/src
+Buildfile: /homes/gws/csgordon/research/guitypes/checker/build.xml
+
+init:
+
+compile:
+[jsr308.javac] /homes/gws/csgordon/research/guitypes/checker/build.xml:40: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
+
+dist:
+
+BUILD SUCCESSFUL
+Total time: 0 seconds
+~/research/experiments/timed/subclipse/src
+subclipse/org.tigris.subversion.subclipse.graph/src/org/tigris/subversion/subclipse/graph/editors/GraphBackgroundTask.java:156: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+					Activator.showErrorDialog("Calculate Revision Graph Information", e, false); // Colin Gordon: safe - the false indicates that showErrorDialog will do a syncExec, though this is not checked
+					                         ^
+subclipse/org.tigris.subversion.subclipse.graph/src/org/tigris/subversion/subclipse/graph/editors/GraphBackgroundTask.java:180: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+			Activator.showErrorDialog("Calculate Revision Graph Information", e, false); // Colin Gordon: safe - the false indicates that showErrorDialog will do a syncExec, though this is not checked
+			                         ^
+subclipse/org.tigris.subversion.subclipse.tools.usage/src/org/tigris/subversion/subclipse/tools/usage/http/HttpGetRequest.java:50: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+				loggingAdapter.logMessage(MessageFormat.format(HttpMessages.HttpGetMethod_Success, parameters));
+				                                                                                   ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.tools.usage/src/org/tigris/subversion/subclipse/tools/usage/http/HttpGetRequest.java:53: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+				loggingAdapter.logError(MessageFormat.format(HttpMessages.HttpGetMethod_Error_Http, parameters));
+				                                                                                    ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.tools.usage/src/org/tigris/subversion/subclipse/tools/usage/http/HttpGetRequest.java:57: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+			loggingAdapter.logMessage(MessageFormat.format(HttpMessages.HttpGetMethod_Error_Io, parameters));
+			                                                                                    ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.tools.usage/src/org/tigris/subversion/subclipse/tools/usage/tracker/internal/Tracker.java:45: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+		.logMessage(MessageFormat.format(TrackerMessages.Tracker_Synchronous, parameters));
+		                                                                      ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.tools.usage/src/org/tigris/subversion/subclipse/tools/usage/tracker/internal/Tracker.java:50: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+			loggingAdapter.logError(MessageFormat.format(TrackerMessages.Tracker_Error, errorParameters));
+			                                                                            ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.tools.usage/src/org/tigris/subversion/subclipse/tools/usage/tracker/internal/Tracker.java:61: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+				.format(TrackerMessages.Tracker_Asynchronous, parameters));
+				                                              ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.tools.usage/src/org/tigris/subversion/subclipse/tools/usage/tracker/internal/Tracker.java:77: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+				loggingAdapter.logError(MessageFormat.format(TrackerMessages.Tracker_Error, parameters));
+				                                                                            ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.tools.usage/src/org/tigris/subversion/subclipse/tools/usage/googleanalytics/eclipse/EclipseUserAgent.java:72: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+		return MessageFormat.format(getUserAgentPattern(getOS()), parameters);
+		                                                          ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/decorator/SVNLightweightDecorator.java:699: error: An method override may only be @UI if it overrides an @UI method (overriding non-UI instantiation of @AlwaysSafe IPropertyChangeListener).
+	public void propertyChange(PropertyChangeEvent event) {
+	            ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/SVNUIPlugin.java:192: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+					runnable.run(new NullProgressMonitor()); // Colin Gordon: BUG or I misunderstood IRunnableWithProgress effects, or the conditionals around this check the thread dynamically
+					            ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/SVNUIPlugin.java:196: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+				parent = display.getActiveShell(); // Colin Gordon: subject to dynamic thread check
+				                               ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/SVNUIPlugin.java:204: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+			BusyIndicator.showWhile(parent.getDisplay(), new @UI Runnable() { // Colin Gordon: subject to dynamic thread check
+			                       ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/SVNUIPlugin.java:224: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+			if (createdShell) parent.dispose(); // Colin Gordon: subject to dynamic thread check + other control flow for safety
+			                                ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/SVNUIPlugin.java:428: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+			outerRunnable.run(); // Colin Gordon: SAFE I think - dynamic check for which thread we're on
+			                 ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/console/SVNOutputConsole.java:219: warning: This method overrides a method with @UI effect (org.eclipse.ui.console.AbstractConsole.dispose()) and another method with an @AlwaysSafe effect (org.eclipse.ui.console.IOConsole.dispose()).  This is discouraged.
+	@SafeEffect protected void dispose() {
+	                           ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/operations/ShowAnnotationOperation.java:261: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+				tooltipAffordance = (String) EditorsUI.class.getMethod("getTooltipAffordanceString", null).invoke(null, null);
+				                                                                                     ^
+  cast to Class<?> for a varargs call
+  cast to Class<?>[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/operations/ShowAnnotationOperation.java:261: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+				tooltipAffordance = (String) EditorsUI.class.getMethod("getTooltipAffordanceString", null).invoke(null, null);
+				                                                                                                        ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/operations/FetchMembersOperation.java:38: error: An method override may only be @UI if it overrides an @UI method (overriding org.tigris.subversion.subclipse.ui.operations.SVNOperation.execute(org.eclipse.core.runtime.IProgressMonitor)).
+	@UIEffect protected void execute(IProgressMonitor monitor) throws SVNException, InterruptedException { // Colin Gordon: necessary invalid override: only called exlicitly (via run()) from a UI context, not properly used as an Operation.
+	                         ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/preferences/SVNDecoratorPreferencesPage.java:682: error: An method override may only be @UI if it overrides an @UI method (overriding @AlwaysSafe Observer.update(java.util.Observable,java.lang.Object)).
+		public void update(Observable o, Object arg) { // Colin Gordon: This method will never be called - Preview is never used as an Observer (removing that implements clause fixes this error)
+		            ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/comments/CommitCommentArea.java:256: error: An method override may only be @UI if it overrides an @UI method (overriding @AlwaysSafe Observer.update(java.util.Observable,java.lang.Object)).
+        public void update(Observable o, Object arg) { // Colin Gordon: Observer & Observable are polymorphic and intertwined, but I can't use them in this instance unless I fix handling of types that implement differently-permissioned interfaces.
+                    ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/dialogs/DialogArea.java:63: error: incompatible types.
+		if (!listeners.contains(listener))
+		                        ^
+  found   : @UI IPropertyChangeListener
+  required: @AlwaysSafe Object
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/dialogs/DialogArea.java:64: error: incompatible types.
+			listeners.add(listener);
+			              ^
+  found   : @UI IPropertyChangeListener
+  required: ? extends @AlwaysSafe Object
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/dialogs/DialogArea.java:72: error: incompatible types.
+		listeners.remove(listener);
+		                 ^
+  found   : @UI IPropertyChangeListener
+  required: @AlwaysSafe Object
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/authentication/KeyFileHistoryContentHandler.java:57: error: incompatible component type of Vector.copyInto argument.
+			keyFiles.copyInto(KeyFilesManager.previousKeyFiles);
+			                                 ^
+  found   : ? extends @AlwaysSafe Object
+  required: @AlwaysSafe String
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/compare/internal/Utilities.java:202: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+				return MessageFormat.format(bundle.getString(key), new String[] { arg });
+				                                                   ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/compare/internal/Utilities.java:220: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+			return MessageFormat.format(CompareUI.getResourceBundle().getString(key), new String[] { arg });
+			                                                                          ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/compare/internal/Utilities.java:228: warning: non-varargs call of varargs method with inexact argument type for last parameter;
+			return MessageFormat.format(CompareUI.getResourceBundle().getString(key), new String[] { arg0, arg1 });
+			                                                                          ^
+  cast to Object for a varargs call
+  cast to Object[] for a non-varargs call and to suppress this warning
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/compare/SVNLocalResourceNode.java:83: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+			new ProgressMonitorDialog(Display.getDefault().getActiveShell()).run(false, false, runnable); // Colin Gordon: BUG? Same as SVNLocalResourceSummaryNode...
+			                                                                    ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/compare/SVNLocalResourceNode.java:83: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+			new ProgressMonitorDialog(Display.getDefault().getActiveShell()).run(false, false, runnable); // Colin Gordon: BUG? Same as SVNLocalResourceSummaryNode...
+			                                                             ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/compare/SVNLocalResourceSummaryNode.java:86: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+			new ProgressMonitorDialog(Display.getDefault().getActiveShell()).run(false, false, runnable); // Colin Gordon: BUG? context method must be a safe method by inheritance, but getActiveShell() is not safe, and ProgressMonitorDialog.run() eventually calls Label.setText...
+			                                                                    ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/compare/SVNLocalResourceSummaryNode.java:86: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+			new ProgressMonitorDialog(Display.getDefault().getActiveShell()).run(false, false, runnable); // Colin Gordon: BUG? context method must be a safe method by inheritance, but getActiveShell() is not safe, and ProgressMonitorDialog.run() eventually calls Label.setText...
+			                                                             ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/compare/SVNCompareRevisionsInput.java:119: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+				new ProgressMonitorDialog(shell).run(false, false, runnable); // Colin Gordon: BUG? Same as SVNLocalResourceSummaryNode...
+				                                    ^
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/comments/CommentHistoryContentHandler.java:70: error: incompatible component type of Vector.copyInto argument.
+			comments.copyInto(CommentsManager.previousComments);
+			                                 ^
+  found   : ? extends @AlwaysSafe Object
+  required: @AlwaysSafe String
+subclipse/org.tigris.subversion.subclipse.ui/src/org/tigris/subversion/subclipse/ui/comments/CommentTemplatesContentHandler.java:67: error: incompatible component type of Vector.copyInto argument.
+			comments.copyInto(CommentsManager.commentTemplates);
+			                                 ^
+  found   : ? extends @AlwaysSafe Object
+  required: @AlwaysSafe String
+Note: Some input files use or override a deprecated API.
+Note: Recompile with -Xlint:deprecation for details.
+Note: Some input files use unchecked or unsafe operations.
+Note: Recompile with -Xlint:unchecked for details.
+22 errors
+14 warnings
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.