java static analysis