verbose

JFlexToolConfiguration