[misc] Update the java_cup version to the most recent 10k version (they have multiple releases with the same version number...)