| #Thu Nov 20 10:34:33 GMT 2008 | |
| eclipse.preferences.version=1 | |
| preferredDetailPanes=DefaultDetailPane\:DefaultDetailPane| | |
| org.eclipse.debug.ui.PREF_LAUNCH_PERSPECTIVES=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?>\r\n<launchPerspectives/>\r\n |