Toward incremental type checking for Java.

Werkzeuge