public String description() {
StringBuilder sb = new StringBuilder();
sb.append("strdist").append('(');
sb.append(str1).append(',').append(str2).append(", dist=").append(dist.getClass().getName());
sb.append(')');
return sb.toString();
}
