docs: private EJBKey[] getEJBKeys(BeanO[] beans)
      {
          EJBKey result[] = null;
          if (beans != null) {
              result = new EJBKey[beans.length];
              for (int i = 0; i < beans.length; ++i) {
                  result[i] = beans[i].getId();
              }
          }
          return result;
      }