public void propertiesChanged(ProjectEvent event) {
public final void propertiesChanged(ProjectEvent event) {
    public void propertiesChanged(ProjectEvent event) {        RubyPlugin.log("properties changed: " + event.getProject().getName(), getClass());    }