code: private static void encodeVersion(final StringBuffer buf, final short[] version) {
      for (int i = 0; i < 3; i++) {
        buf.append(Short.toString(version[i]));
        buf.append(',');
      }
      buf.append(Short.toString(version[3]));
    }
docs: Converts parsed version information into a string representation.
  
  @param buf
  StringBuffer string buffer to receive version number
  @param version
  short[] four-element array