--- a/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/impl/DefaultDebugManager.java	Sat Jan 18 22:12:42 2014 -0800
+++ b/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/impl/DefaultDebugManager.java	Wed Jan 22 20:28:52 2014 -0800
@@ -32,7 +32,11 @@
 import com.oracle.truffle.api.nodes.instrument.InstrumentationProbeNode.ProbeChain;
 import com.oracle.truffle.api.source.*;
 
-public final class DefaultDebugManager implements DebugManager {
+/**
+ * A minimal, language-agnostic implementation that tracks loaded sources, and keeps maps describing
+ * what locations in the source have instrumentation available.
+ */
+public class DefaultDebugManager implements DebugManager {
 
     private final Set<Source> loadedSources = new HashSet<>();
 
@@ -87,13 +91,11 @@
         return probeChain;
     }
 
-    @Override
     public void notifyStartLoading(Source source) {
         assert beingLoaded == null;
         beingLoaded = source;
     }
 
-    @Override
     public void notifyFinishedLoading(Source source) {
         assert source == beingLoaded;
         loadedSources.add(source);