Julian Dolby 7e6cfe84f6 more support for method handles, particularly for ones created with ... reflection.		2018-08-02 19:35:32 -04:00
..
org.eclipse.jdt.core.prefs	more support for method handles, particularly for ones created with	2018-08-02 19:35:32 -04:00
org.eclipse.jdt.launching.prefs	no warnings in com.ibm.wala.cast.java	2013-03-12 00:30:32 +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	Treat many Eclipse plugin-related problems as errors	2017-08-16 11:36:46 -07:00
org.eclipse.wst.validation.prefs	Merge branch 'master' into warning-fixes-xml-validation	2016-11-29 10:08:00 -06:00