Commits

Colin Gordon committed c695642

chugging along

  • Participants
  • Parent commits 70c65be

Comments (0)

Files changed (8)

File jvmmonitor-read-only/.log.txt.swp

Binary file modified.

File jvmmonitor-read-only/log.txt

-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-20120603.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.debug_3.7.0.dist/jdimodel.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
+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-20120604.jar:/usr/lib/eclipse/dropins/jdt/plugins/org.eclipse.jdt.debug_3.7.0.dist/jdimodel.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/jvmmonitor/jvmmonitor-read-only
 Buildfile: /homes/gws/csgordon/research/guitypes/checker/build.xml
 
 ./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/timeline/TimelineChart.java:104: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
             redraw(); // Colin Gordon: this method is definitely UI (org.eclipse.swt.widgets.Control.redraw()) but this interface is safe.  Bug, or poly interface?
                   ^
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/timeline/ClearTimelineDataAction.java:48: error: An method override may only be @UI if it overrides an @UI method (overriding org.jvmmonitor.internal.ui.actions.AbstractClearAction.getJobName()).
-    protected String getJobName() {
-                     ^
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/timeline/ConfigureChartDialog.java:475: error: Calling a method with UIEffect effect from a context limited to PolyUIEffect effects.
-                        .getSelection();
-                                     ^
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/timeline/ConfigureChartDialog.java:477: error: Calling a method with UIEffect effect from a context limited to PolyUIEffect effects.
-                        .getFirstElement();
-                                        ^
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/timeline/ConfigureChartDialog.java:479: error: Calling a method with UIEffect effect from a context limited to PolyUIEffect effects.
-                    attribute.setRgb(selector.getColorValue());
-                                                           ^
 ./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/HotSpotsTabPage.java:83: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
                     refresh(); // Colin Gordon: transitively calls Label.setText(), so either this interface is UI or this is a bug
                            ^
 ./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/CallerCalleeTabPage.java:95: error: An method override may only be @UI if it overrides an @UI method (overriding @AlwaysSafe ICpuModelChangeListener.modelChanged(org.jvmmonitor.core.cpu.CpuModelEvent)).
             @UIEffect public void modelChanged(CpuModelEvent event) {
                                   ^
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/actions/ConfigureCpuProfilerAction.java:155: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
-        String packageString = setPackages(dialog.getPackages(), monitor);
-                                          ^
 ./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/mbean/AttributesTab.java:351: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
                                 adjustedValue = getNumber(node.getValue()
                                                          ^
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/mbean/NotificationFilteredTree.java:152: 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) {
-                ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/mbean/NotificationFilteredTree.java:163: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+        setColumns(columnsString);
+                  ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/mbean/NotificationFilteredTree.java:164: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
+        configureTree();
+                     ^
 ./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/mbean/OperationsTab.java:158: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
                     contentProvider.refresh(operations);
                                            ^
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/mbean/InvokeDialog.java:467: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
-                    doInvoke();
-                            ^
 ./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/views/JvmTreeViewer.java:294: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
                 element = selection.getFirstElement();
                                                    ^
-24 errors
+19 errors

File jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/actions/ConfigureCpuProfilerAction.java

 /**
  * The action to configure CPU profiler.
  */
-@UIType
 public class ConfigureCpuProfilerAction extends Action {
 
     /** The Java packages that CPU profiler profiles. */
     /**
      * Opens the dialog.
      */
-    void openDialog() {
+    @UIEffect void openDialog() {
         IActiveJvm jvm = cpuSection.getJvm();
         if (jvm == null) {
             return;

File jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/mbean/InvokeDialog.java

      * @throws JMException
      * @throws IOException
      */
-    void doInvoke() throws JMException, IOException {
+    @SafeEffect void doInvoke() throws JMException, IOException {
         String operationName = info.getName();
         String[] signature = getSignature();
         Object[] params = getParams();
      * 
      * @return The parameters
      */
-    private Object[] getParams() {
+    @SafeEffect private Object[] getParams() {
         List<Object> params = new ArrayList<Object>();
         for (final MBeanParameterInfo signature : info.getSignature()) {
             String text = getText(signature);
      *            The signature
      * @return The text
      */
-    private String getText(final MBeanParameterInfo signature) {
+    @SafeEffect private String getText(final MBeanParameterInfo signature) {
         final String[] text = new String[1];
         Display.getDefault().syncExec(new @UI Runnable() {
             @Override
      * 
      * @return The signature
      */
-    private String[] getSignature() {
+    @SafeEffect private String[] getSignature() {
         List<String> result = new ArrayList<String>();
         for (MBeanParameterInfo signature : info.getSignature()) {
             result.add(signature.getType());

File jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/mbean/NotificationFilteredTree.java

      * @see IConfigurableColumn#getId()
      */
     @Override
-    public String getId() {
+    @SafeEffect public String getId() {
         return getClass().getName();
     }
 
      * @see IPropertyChangeListener#propertyChange(PropertyChangeEvent)
      */
     @Override
-    public void propertyChange(PropertyChangeEvent event) {
+    @SafeEffect public void propertyChange(PropertyChangeEvent event) {
         if (!event.getProperty().equals(getId())
                 || getViewer().getTree().isDisposed()) {
             return;

File jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/timeline/ClearTimelineDataAction.java

 /**
  * The action to clear timeline data.
  */
-@UIType
 public class ClearTimelineDataAction extends AbstractClearAction {
 
     /** The timeline section. */
      * @see AbstractClearAction#doRun(IProgressMonitor)
      */
     @Override
-    @SafeEffect protected IStatus doRun(IProgressMonitor monitor) {
+    protected IStatus doRun(IProgressMonitor monitor) {
         timelineSection.clear();
         return Status.OK_STATUS;
     }

File jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/timeline/ConfigureChartDialog.java

      */
     private ColorSelector createColorSelector(Composite parent) {
         final ColorSelector selector = new ColorSelector(parent);
-        selector.addListener(new IPropertyChangeListener() {
+        selector.addListener(new @UI IPropertyChangeListener() {
             @Override
             public void propertyChange(PropertyChangeEvent event) {
                 IStructuredSelection selection = (IStructuredSelection) attributesViewer
 
 after fixing some jface annotations,
 +20 (5:20), 24.  Mostly from making IPropertyChangeListener polymorphic.
+
++30 (5:50), 19.  mostly backtracking to mark a bunch of obviously safe methods of UITypes (e.g. containing asyncExec) as SafeEffect.