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