javacc_coordinates.patch
