The core parser functionality. This may be all you need.

Core functionality (terms, rules, prover, ...) for deductive verification of Java programs

A Symbol Solver for Java, built on top of JavaParser (core)

Serializers for the JavaParser AST.