Information Flow Analysis for Java Bytecode