--- src/src/main/java/jline/Terminal.java.sav	2007-07-12 14:19:34.000000000 +0200
+++ src/src/main/java/jline/Terminal.java	2007-07-12 14:20:02.000000000 +0200
@@ -8,7 +8,7 @@
 
 import java.io.*;
 
-import com.sun.jmx.snmp.ThreadContext;
+//import com.sun.jmx.snmp.ThreadContext;
 
 /**
  *  Representation of the input terminal for a platform. Handles