docs: public static String encodeBytes( byte[] source,
                                        int off,
                                        int len ) {
          // Since we're not going to have the GZIP encoding turned on,
          // we're not going to have an java.io.IOException thrown, so
          // we should not force the user to have to catch it.
          String encoded = null;
          try {
              encoded = encodeBytes(source, off, len, NO_OPTIONS);
          } catch (IOException ex) {
              assert false : ex.getMessage();
          } // end catch
          assert encoded != null;
          return encoded;
      }