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