Flow Properties of Java Programs without Approximations.