edu.princeton.cup java-cup 10k