--- old/agent/src/share/classes/sun/jvm/hotspot/tools/FlagDumper.java	2013-06-25 10:52:34.972786002 +0100
+++ new/agent/src/share/classes/sun/jvm/hotspot/tools/FlagDumper.java	2013-06-25 10:52:34.862786002 +0100
@@ -25,10 +25,19 @@
 package sun.jvm.hotspot.tools;
 
 import java.io.PrintStream;
+import sun.jvm.hotspot.debugger.JVMDebugger;
 import sun.jvm.hotspot.runtime.*;
 
 public class FlagDumper extends Tool {
 
+    public FlagDumper() {
+        super();
+    }
+
+    public FlagDumper(JVMDebugger d) {
+        super(d);
+    }
+
    public void run() {
       VM.Flag[] flags = VM.getVM().getCommandLineFlags();
       PrintStream out = System.out;