Vaadin8/workspace_02/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.php.ui.prefs

   1 eclipse.preferences.version=1\r
   2 org.eclipse.php.core.workspaceDefaultLocale=ja_JP\r
   3 phpManualSite=PHP.net ja\u0005http\://www.php.net/manual/ja\u0005php\r
   4 phpManualSites=PHP.net ja\u0005http\://www.php.net/manual/ja\u0005php\r
   5 useAnnotationsPrefPage=true\r
   6 useQuickDiffPrefPage=true\r