Meta Configuration of Package checker-framework-java