Achim D. Brucker d53814e154 Restored error level for org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable.		2018-10-21 18:29:40 +01:00
..
org.eclipse.jdt.core.prefs	Restored error level for org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable.	2018-10-21 18:29:40 +01:00
org.eclipse.jdt.launching.prefs	no warnings in com.ibm.wala.cast	2013-03-12 00:29:01 +01:00
org.eclipse.jdt.ui.prefs	more conversion to Unix line endings	2012-09-04 15:59:50 -07:00
org.eclipse.pde.prefs	Tell Eclipse to ignore some questionable manifest contents	2018-04-18 11:29:29 -05:00
org.eclipse.wst.validation.prefs	Merge branch 'master' into warning-fixes-xml-validation	2016-11-29 10:08:00 -06:00