code: static DerEncoder[] castToDerEncoder(Object[] objs) {
  
          DerEncoder[] encoders = new DerEncoder[objs.length];
  
          for (int i=0; i < encoders.length; i++)
              encoders[i] = (DerEncoder) objs[i];
  
          return encoders;
      }
docs: Cast an object array whose components are
  <code>DerEncoder</code>s to <code>DerEncoder[]</code>.