Clean up some warnings.

editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/folding/DefaultDartFoldingStructureProvider.java

Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/folding/DefaultDartFoldingStructureProvider.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/folding/DefaultDartFoldingStructureProvider.java	(revision 11395)
+++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/folding/DefaultDartFoldingStructureProvider.java	(working copy)
@@ -600,6 +600,7 @@
      * @param delta the JavaScript element delta for the given AST element
      * @return <code>true</code> if the delta should be ignored
      */
+    @SuppressWarnings("unused")
     private boolean shouldIgnoreDelta(CompilationUnit ast, DartElementDelta delta) {
       if (ast == null) {
         return false; // can't compute
@@ -630,7 +631,6 @@
 //        return false; // can't compute
 //      }
 
-      @SuppressWarnings("unused")
       int caretLine = 0;
       try {
         caretLine = document.getLineOfOffset(editor.getCachedSelectedRange().x) + 1;
@@ -1480,6 +1480,7 @@
       return;
     }
 
+    @SuppressWarnings("unused")
     Map additions = new HashMap();
     List deletions = new ArrayList();
     List updates = new ArrayList();