CFG from java bytecode