CharSetMatcher(char chars[]) {
public CharSetMatcher(char chars[]) {
        CharSetMatcher(char chars[]) {            super();            this.chars = (char[]) chars.clone();            Arrays.sort(this.chars);        }