Add "-Xconversiontimeout 10000" option for antlr generation to prevent wrong generation with antlr 3.2.