Adding the files from java-cup-src-11b-20140703.