public int stringDist( String a, String b ) { return stringDist( a, b, a.length()+b.length(), stringComp);
public int stringDist( String a, String b,double limit ) { return stringDist( a, b,(int) a.length()+b.length(), stringComp);
  public int stringDist( String a, String b ) {    return stringDist( a, b, a.length()+b.length(), stringComp);  }