public long recv_getCounter() throws org.apache.thrift.TException
    {
      getCounter_result result = new getCounter_result();
      receiveBase(result, "getCounter");
      if (result.isSetSuccess()) {
        return result.success;
      }
      throw new org.apache.thrift.TApplicationException(org.apache.thrift.TApplicationException.MISSING_RESULT, "getCounter failed: unknown result");
    }