Andreas Mülder 65e7315531 Java se 1.8 (#1452) vor 8 Jahren
..
org.eclipse.core.resources.prefs 867c799500 changed encoding to UTF-8 vor 11 Jahren
org.eclipse.jdt.core.prefs 65e7315531 Java se 1.8 (#1452) vor 8 Jahren