--- old/agent/src/share/classes/sun/jvm/hotspot/tools/JInfo.java	2013-06-25 10:52:36.202786002 +0100
+++ new/agent/src/share/classes/sun/jvm/hotspot/tools/JInfo.java	2013-06-25 10:52:36.112786002 +0100
@@ -25,12 +25,21 @@
 package sun.jvm.hotspot.tools;
 
 import sun.jvm.hotspot.runtime.*;
+import sun.jvm.hotspot.debugger.JVMDebugger;
 
 public class JInfo extends Tool {
+    public JInfo() {
+        super();
+    }
+
     public JInfo(int m) {
         mode = m;
     }
 
+    public JInfo(JVMDebugger d) {
+        super(d);
+    }
+
     protected boolean needsJavaPrefix() {
         return false;
     }