org.eclipse.jdt.ui.prefs - OpenGrok cross reference for /external/jsr305/ri/.settings/org.eclipse.jdt.ui.prefs

1#Wed Jun 20 13:34:34 GMT-05:00 2007
2eclipse.preferences.version=1
3internal.default.compliance=default
4