Commits

Colin Gordon committed 83a03e2

a couple adjustments to normalize error reports

Comments (0)

Files changed (12)

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-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
+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-20120622.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
 
 
 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
-     [copy] Copying 1 file to /homes/gws/csgordon/research/guitypes/checker/build/guitypes/checkers
 
 dist:
-      [jar] Building jar: /homes/gws/csgordon/research/guitypes/checker/dist/lib/guitypes-20120604.jar
 
 BUILD SUCCESSFUL
 Total time: 0 seconds
                                                                     ^
   found   : @AlwaysSafe Class<? extends @AlwaysSafe Object>
   required: @AlwaysSafe Class<@AlwaysSafe Object>
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/memory/HeapHistogramPage.java:182: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
-        configureTree(); // Colin Gordon: BUG? This makes direct calls to org.eclipse.swt.widgets.Tree.*, which are all UI methods.  Even if this interface is poly, this object registers itself with the default preferences store, which requires safe listeners.  Unless somehow they ensure the properties are only changed on the UI thread... try to reproduce this!
-                     ^
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/memory/HeapHistogramPage.java:215: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
-        final boolean isVisible = isVisible(); // Colin Gordon: BUG.  This method is clearly meant to be safe, but isVisible() is a widget method that throws SWTException.
-                                           ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/memory/HeapHistogramPage.java:170: 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) { // Colin Gordon: FP: UI-update-only global prop-change listener
+                ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/AbstractFilteredTree.java:128: 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) { // Colin Gordon: FP: UI-update-only global prop-change listener
+                ^
 ./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/editors/CpuDumpEditor.java:139: 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) {
+            @UIEffect public void modelChanged(CpuModelEvent event) { // calls refresh(), which def. can't be safe.  Registered by init(), which appears to be called when CPU dump editor is constructed (via super-super-class ctor).  Does the model change event ever actually fire?
                                   ^
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/thread/ThreadFilteredTree.java:129: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
-        configureTree(); // Colin Gordon: BUG? This makes direct calls to org.eclipse.swt.widgets.Tree.*, which are all UI methods.  Even if this interface is poly, this object registers itself with the default preferences store, which requires safe listeners.  Unless somehow they ensure the properties are only changed on the UI thread... try to reproduce this!
-                     ^
-./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/thread/ThreadFilteredTree.java:117: 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) { // Colin Gordon: FP: UI-update-only global prop-change listener
+                ^
+./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/timeline/TimelineChart.java:99: 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) { // Colin Gordon: FP: UI-update-only global prop-change listener
+                ^
 ./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
+                    refresh(); // Colin Gordon: CPU model change listener 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/HotSpotsFilteredTree.java:77: error: An method override may only be @UI if it overrides an @UI method (overriding org.jvmmonitor.internal.ui.properties.cpu.AbstractFilteredTree.configureTree()).
-    protected void configureTree() {
-                   ^
 ./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/CallTreeTabPage.java:82: error: Calling a method with UIEffect effect from a context limited to SafeEffect effects.
-                    refresh();
+                    refresh(); // Colin Gordon: CPU model change listener 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) {
+            @UIEffect public void modelChanged(CpuModelEvent event) { // Colin Gordon: Safe iface, directly calls unsafe SWT methods, installed by parent's setInput()
                                   ^
-./org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/CallTreeFilteredTree.java:69: error: An method override may only be @UI if it overrides an @UI method (overriding org.jvmmonitor.internal.ui.properties.cpu.AbstractFilteredTree.configureTree()).
-    protected void configureTree() {
-                   ^
-./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(); // Colin Gordon: BUG? This makes direct calls to org.eclipse.swt.widgets.Tree.*, which are all UI methods.  Even if this interface is poly, this object registers itself with the default preferences store, which requires safe listeners.  Unless somehow they ensure the properties are only changed on the UI thread... try to reproduce this!
-                     ^
-./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);
-                                           ^
-13 errors
+./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) { // Colin Gordon: FP: UI-update-only global prop-change listener
+                ^
+10 errors

jvmmonitor-read-only/org.jvmmonitor.core/src/org/jvmmonitor/core/cpu/ICpuModel.java

      * @return The max invocation count
      */
     long getMaxInvocationCount();
-}
+}

jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/editors/CpuDumpEditor.java

         cpuModel = new CpuModelFactory().createCpuModel();
         cpuModel.addModelChangeListener(new ICpuModelChangeListener() {
             @Override
-            @UIEffect public void modelChanged(CpuModelEvent event) {
+            @UIEffect public void modelChanged(CpuModelEvent event) { // calls refresh(), which def. can't be safe.  Registered by init(), which appears to be called when CPU dump editor is constructed (via super-super-class ctor).  Does the model change event ever actually fire?
                 if (event.state == CpuModelState.CallersCalleesTargetChanged) {
                     refresh();
                     if (cpuModel.getCallersCalleesTarget() != null) {

jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/.AbstractFilteredTree.java.swp

Binary file modified.

jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/AbstractFilteredTree.java

      * @see IPropertyChangeListener#propertyChange(PropertyChangeEvent)
      */
     @Override
-    @SafeEffect public void propertyChange(PropertyChangeEvent event) {
+    public void propertyChange(PropertyChangeEvent event) { // Colin Gordon: FP: UI-update-only global prop-change listener
         if (!event.getProperty().equals(getId())
                 || getViewer().getTree().isDisposed()) {
             return;

jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/CallTreeTabPage.java

             @Override
             public void modelChanged(CpuModelEvent event) {
                 if (event.state == CpuModelState.FocusedMethodChanged) {
-                    refresh(); // Colin Gordon: transitively calls Label.setText(), so either this interface is UI or this is a bug
+                    refresh(); // Colin Gordon: CPU model change listener transitively calls Label.setText(), so either this interface is UI or this is a bug
                 }
             }
         };

jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/CallerCalleeTabPage.java

 
         cpuModelChangeListener = new ICpuModelChangeListener() {
             @Override
-            @UIEffect public void modelChanged(CpuModelEvent event) { // Colin Gordon: transitively calls Label.setText(), so either this interface is UI or this is a bug
+            @UIEffect public void modelChanged(CpuModelEvent event) { // Colin Gordon: Safe iface, directly calls unsafe SWT methods, installed by parent's setInput()
                 if (event.state == CpuModelState.CallersCalleesTargetChanged) {
                     refresh();
                     if (jvm.getCpuProfiler().getCpuModel()

jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/cpu/HotSpotsTabPage.java

             @Override
             public void modelChanged(CpuModelEvent event) {
                 if (event.state == CpuModelState.FocusedMethodChanged) {
-                    refresh(); // Colin Gordon: transitively calls Label.setText(), so either this interface is UI or this is a bug
+                    refresh(); // Colin Gordon: CPU model change listener transitively calls Label.setText(), so either this interface is UI or this is a bug
                 }
             }
         };

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

      * @see IPropertyChangeListener#propertyChange(PropertyChangeEvent)
      */
     @Override
-    @SafeEffect public void propertyChange(PropertyChangeEvent event) {
+    public void propertyChange(PropertyChangeEvent event) { // Colin Gordon: FP: UI-update-only global prop-change listener
         if (!event.getProperty().equals(getId())
                 || getViewer().getTree().isDisposed()) {
             return;

jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/memory/HeapHistogramPage.java

      * @see IPropertyChangeListener#propertyChange(PropertyChangeEvent)
      */
     @Override
-    @SafeEffect public void propertyChange(PropertyChangeEvent event) {
+    public void propertyChange(PropertyChangeEvent event) { // Colin Gordon: FP: UI-update-only global prop-change listener
         if (!event.getProperty().equals(getId())
                 || heapViewer.getTree().isDisposed()) {
             return;
     /**
      * Refreshes the appearance.
      */
-    @SafeEffect public void refresh() {
+    public void refresh() {
         // for dump editor
         if (section == null || isDisposed()) {
             return;

jvmmonitor-read-only/org.jvmmonitor.ui/src/org/jvmmonitor/internal/ui/properties/thread/ThreadFilteredTree.java

      * @see IPropertyChangeListener#propertyChange(PropertyChangeEvent)
      */
     @Override
-    @SafeEffect public void propertyChange(PropertyChangeEvent event) {
+    public void propertyChange(PropertyChangeEvent event) { // Colin Gordon: FP: UI-update-only global prop-change listener
         if (!event.getProperty().equals(getId())
                 || getViewer().getTree().isDisposed()) {
             return;

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

      * @see IPropertyChangeListener#propertyChange(PropertyChangeEvent)
      */
     @Override
-    @SafeEffect public void propertyChange(PropertyChangeEvent event) {
+    public void propertyChange(PropertyChangeEvent event) { // Colin Gordon: FP: UI-update-only global prop-change listener
         if (IConstants.LEGEND_VISIBILITY.equals(event.getProperty())
                 && !isDisposed()) {
             getLegend().setVisible((Boolean) (event.getNewValue()));