Some dataflow analysis in Java