public int getServerVersionNum() {
   if (serverVersionNum != 0) return serverVersionNum;
   return Utils.parseServerVersionStr(serverVersion);
 }