Use checker framework javac_maven script