.getInstalledVersion(phpFacet))) {
final Set<IFacetedProject.Action> actions = new HashSet<IFacetedProject.Action>();
actions.add(new IFacetedProject.Action(
IFacetedProject.Action.Type.VERSION_CHANGE,
facetedVersion, null));
faceted.modify(actions, new NullProgressMonitor());
}
} catch (CoreException ex) {
return new Status(IStatus.ERROR, PHPCorePlugin.ID,
Messages.PHPFacets_SettingVersionFailed, ex);
} catch (IllegalArgumentException ex) {