Remove last usage of JavaFile in JaCoCo Sensor