Lukas Eder d74988011f Ignore unreliable Eclipse resource leaks warnings		2013-06-30 13:18:57 +02:00
..
org.eclipse.jdt.core.prefs	Ignore unreliable Eclipse resource leaks warnings	2013-06-30 13:18:57 +02:00
org.eclipse.jdt.ui.prefs