private final void updateHash() {
private void updateHash() {
  private final void updateHash() {    if (DEBUGGING)      System.err.println("updateHash: "+strstart);    ins_h = (window[strstart] << HASH_SHIFT) ^ window[strstart + 1];  }    