+ ‘workspacePHP/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.php.server.core.prefs’