Julia: A Generic Static Analyser for the Java Bytecode