Ben Liblit 1bb3d827c4 Turn off Eclipse warnings about unused caught-exception parameters ... Manu requested that we use this approach instead of adding `@SuppressWarnings("unused")` at each affected catch block. That seems reasonable to me, given the large number of such warnings and the lack of likely harm from ignoring such caught exceptions.		2017-03-23 16:39:58 -05:00
..
org.eclipse.core.resources.prefs	java 7 support, with much pain for stack maps :)	2014-10-06 15:34:16 -04:00
org.eclipse.jdt.core.prefs	Turn off Eclipse warnings about unused caught-exception parameters	2017-03-23 16:39:58 -05:00
org.eclipse.jdt.ui.prefs	Strip execute bits from many non-executable (i.e., non-script) files	2017-02-23 06:10:08 -06:00
org.eclipse.wst.validation.prefs	Merge branch 'master' into warning-fixes-xml-validation	2016-11-29 10:08:00 -06:00