WebEngineUtil rename to ServletEngineUtil
support template name omit filename extension, disable default.
update java_cup tools