public void propertyChange(PropertyChangeEvent event) {
if(getPreferenceId().equals(event.getProperty())) {
// System.err.println("Puppet proj env changed");
IProject proj = ((IProject) getElement());
PPBuildJob job = new PPBuildJob(proj);
job.schedule();
}
}
};
}