1.1 --- a/src/share/classes/com/sun/tools/javac/comp/Check.java Tue Aug 19 20:42:56 2014 +0100
1.2 +++ b/src/share/classes/com/sun/tools/javac/comp/Check.java Fri Feb 07 21:43:33 2014 +0100
1.3 @@ -1715,7 +1715,12 @@
1.4
1.5 // Warn if a deprecated method overridden by a non-deprecated one.
1.6 if (!isDeprecatedOverrideIgnorable(other, origin)) {
1.7 - checkDeprecated(TreeInfo.diagnosticPositionFor(m, tree), m, other);
1.8 + Lint prevLint = setLint(lint.augment(m));
1.9 + try {
1.10 + checkDeprecated(TreeInfo.diagnosticPositionFor(m, tree), m, other);
1.11 + } finally {
1.12 + setLint(prevLint);
1.13 + }
1.14 }
1.15 }
1.16 // where
