static final char[] escChars = { '+', '-', '&', '|', '!', '{', '}', '[', ']', '^', '"', '~', '*', '?', '\\', ':' };static {    Arrays.sort(escChars);}private String decEscChar(final String input) {    char arr[] = input.toCharArray();    for (int i=0; i
     
      = 0) {            arr[i] = '';        }    }    return new String(arr);}