Modular code checker for Java