return "The size of the cache (a prime number).";
return "The size of the cache (a prime number), 0 for full cache and -1 to turn it off.";
  public String cacheSizeTipText() {    return "The size of the cache (a prime number).";  }