Andreas Mülder 6222525730 changed execution environment to java 1.5 13 years ago
..
org.eclipse.jdt.core.prefs 6222525730 changed execution environment to java 1.5 13 years ago