fix JavaDoc of PatternHandler