{
Log.log.fine("Initializing JLoom plugin.");
assert plugin == null : "JLoom plugin initialized twice.";
plugin = this;
IWorkspace workspace = ResourcesPlugin.getWorkspace();
workspace.addResourceChangeListener(new MarkerTransferor(), IResourceChangeEvent.POST_CHANGE);
}
}