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.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	Fix compile error in com.ibm.wala.dalvik.test and set up Travis builds	2014-12-23 11:46:09 -08:00
org.eclipse.wst.validation.prefs	Merge branch 'master' into warning-fixes-xml-validation	2016-11-29 10:08:00 -06:00