return null;
StringBuilder b = new StringBuilder(); b.append("<["); b.append(minimum); b.append(','); b.append(preferred); b.append(','); b.append(maximum); b.append("]@"); b.append(alignment); b.append('>'); return b.toString();
  public String toString()  {		return null; // TODO  }