diaToPropelPlugin org.eclipse.php.core.PhpIncrementalProjectBuilder org.eclipse.php.core.ValidationManagerWrapper org.eclipse.php.core.PHPNature