--- old/agent/src/share/classes/sun/jvm/hotspot/tools/soql/JSDB.java	2013-06-25 10:52:40.652786002 +0100
+++ new/agent/src/share/classes/sun/jvm/hotspot/tools/soql/JSDB.java	2013-06-25 10:52:40.562786002 +0100
@@ -24,12 +24,22 @@
 
 package sun.jvm.hotspot.tools.soql;
 
+import sun.jvm.hotspot.debugger.JVMDebugger;
 import sun.jvm.hotspot.tools.*;
 import sun.jvm.hotspot.utilities.*;
 import sun.jvm.hotspot.utilities.soql.*;
 
 /** This is command line JavaScript debugger console */
 public class JSDB extends Tool {
+
+    public JSDB() {
+        super();
+    }
+
+    public JSDB(JVMDebugger d) {
+        super(d);
+    }
+
     public static void main(String[] args) {
         JSDB jsdb = new JSDB();
         jsdb.start(args);