The Java Native Interface: Programmer's Guide and Specification (The Java Series)