--- a/graal/com.oracle.graal.debug/src/com/oracle/graal/debug/internal/DebugScope.java	Fri Mar 28 09:47:42 2014 +0100
+++ b/graal/com.oracle.graal.debug/src/com/oracle/graal/debug/internal/DebugScope.java	Fri Mar 28 11:41:42 2014 +0100
@@ -52,7 +52,6 @@
             }
         }
 
-        @Override
         public void log(String msg, Object... args) {
             if (isLogEnabled()) {
                 printScopeName();
@@ -61,29 +60,16 @@
             }
         }
 
-        @Override
-        public Indent indent() {
+        IndentImpl indent() {
             lastUsedIndent = new IndentImpl(this);
             return lastUsedIndent;
         }
 
         @Override
-        public Indent logAndIndent(String msg, Object... args) {
-            log(msg, args);
-            return indent();
-        }
-
-        @Override
-        public Indent outdent() {
+        public void close() {
             if (parentIndent != null) {
                 lastUsedIndent = parentIndent;
             }
-            return lastUsedIndent;
-        }
-
-        @Override
-        public void close() {
-            outdent();
         }
     }
 
@@ -224,7 +210,7 @@
     /**
      * Creates and enters a new debug scope which is either a child of the current scope or a
      * disjoint top level scope.
-     * 
+     *
      * @param name the name of the new scope
      * @param sandboxConfig the configuration to use for a new top level scope, or null if the new
      *            scope should be a child scope
@@ -387,7 +373,7 @@
     }
 
     public Indent pushIndentLogger() {
-        lastUsedIndent = (IndentImpl) lastUsedIndent.indent();
+        lastUsedIndent = lastUsedIndent.indent();
         return lastUsedIndent;
     }
 }