added String matcher accelerater.
fixed DivisionByZeroException.
accelerate regular expression matching.
Merge branch 'master' into boolean-negate