javacc-use-stringbuffer.patch
