return "Uses a different split point encoding. Who says it's better?" + " (Eibe fix this).";
return "Uses a more efficient split point encoding.";
  public String useBetterEncodingTipText() {    return "Uses a different split point encoding. Who says it's better?"      + " (Eibe fix this).";  }