Update org.eclipse.php.server.core.phpServersPrefs.prefs