markus.muehlbrandt@itemis.de c9768a936b Set java library to 1.5. 13 years ago
..
org.eclipse.jdt.core.prefs c9768a936b Set java library to 1.5. 13 years ago