* At most one LineNumberTable attribute is assumed

  The JVM Spec explicitly allows for multiple line number tables.
  To simplify things, our implementation currently only recognizes one 
  only.

* java.lang.Class.getName() returns the VM internal form of a class name

* java.lang.Double.toString/parseDouble are buggy.

  Need to implement conversion algorithms along the line of
  Burger and Dybvig 1996:

    http://citeseer.nj.nec.com/28233.html

* ae_namespace_delete should return an error code to indicate if
  error has occurred while unloading native libraries.

* When verification fails, somehow an out of memory error will
  be thrown.