[Semantics] readme for javacc