Invoke instruction gets fully qualified method name (class+name+sig) as
in Sun's JVM spec
## $Id$## Isabelle user settings sample (everything commented out)# -- may be copied to ~/isabelle/etc/settings##ISABELLE_USEDIR_OPTIONS="-i true -d pdf"#ISABELLE_LOGIC=ZF