Static analysis for Java

To be written