     console.error errorThrown
 }
 
+if RELEASE?
+  $.ajax "third_party/classes/sun/tools/javac/Main.class", {
+    type: 'GET'
+    dataType: 'text'
+    beforeSend: (jqXHR) -> jqXHR.overrideMimeType('text/plain; charset=x-user-defined')
+    success: (data) ->
+      javac_class = process_bytecode data
+  }
+
 try_path = (path) ->
   rv = null
   $.ajax path, {


commands =
  javac: (args, cb) ->
    return "Usage: javac <source file>" unless args[0]?
    compile_source args[0], cb
  java: (args, cb) ->
    return "Usage: java class [args...]" unless args[0]?
    raw_data = DoppioFile.load("#{args[0]}.class").read()

controller = null
editor = null
progress = null
# to be initialized in release build
javac_class = null

class_cache = {}
raw_cache = {}
