svoid clearStringBuffer(StringBuffer buf) {
  if (buf != null) {
    buf.setLength(0);
    buf.trimToSize();
  }
}