* BlockBegin.predecessors changed to List<BlockEnd> * Node: add input/successor with given back edge index, allows for explicit ordering of predecessors/usages * Graphviz: PDF output, option to omit FrameStates * runscimark.sh: forward additional options to JVM

// A simple interface, to allow an unknown foreign call from a class
// loaded with LOADER1 to a class loaded with LOADER2.
public interface IFace {
  public many_loader[] gen();
}