Workaround for weird jenkins javac bug