#Mon Mar 31 18:44:22 CEST 2008 com.zend.php.javabridge.core.javabridge_entries= com.zend.php.javabridge.core.project_is_default_jre=true com.zend.php.javabridge.core.project_jre=System Default JRE;/usr/local/Zend/ZendStudioForEclipse-6.0.0/jre eclipse.preferences.version=1