final IScriptProject scriptProject) {
final IProject project = scriptProject.getProject();
if (project2PhpVerListener.containsKey(project)) {
return;
}
IPreferencesPropagatorListener versionChangeListener = new IPreferencesPropagatorListener() {
public void preferencesEventOccured(PreferencesPropagatorEvent event) {
try {
// Re-initialize when PHP version changes
initialize(containerPath, scriptProject);
} catch (CoreException e) {