javacc5.diff
