dont do anything if we dont have to.

diff --git a/weaver/src/org/aspectj/weaver/Lint.java b/weaver/src/org/aspectj/weaver/Lint.java
index ef025d693805b58fe62c31b863804b4b0f0131fb..b1c4439e9c3fe43aa3842ed9df3a74571623bdb2 100644 (file)
--- a/weaver/src/org/aspectj/weaver/Lint.java
+++ b/weaver/src/org/aspectj/weaver/Lint.java
@@ -191,6 +191,7 @@ public class Lint {
        
        // temporarily suppress the given lint messages
        public void suppressKinds(Collection lintKind) {
+               if (lintKind.isEmpty()) return;
                for (Iterator iter = lintKind.iterator(); iter.hasNext();) {
                        Kind k = (Kind) iter.next();
                        k.setSuppressed(true);
@@ -206,6 +207,7 @@ public class Lint {
        }
        
        public void clearSuppressions(Collection lintKind) {
+               if (lintKind.isEmpty()) return;
                for (Iterator iter = lintKind.iterator(); iter.hasNext();) {
                        Kind k = (Kind) iter.next();
                        k.setSuppressed(false);