#Fri Oct 03 19:37:12 PDT 2008 eclipse.preferences.version=1 org.eclipse.php.core.workspaceDefaultLocale=en_US