public JInPiqi.handle_user_leave build() {
        JInPiqi.handle_user_leave result = buildPartial();
        if (!result.isInitialized()) {
          throw newUninitializedMessageException(result);
        }
        return result;
      }