code: public static Boolean[] box(boolean[] array) {
          dbc.precondition(array != null, "cannot box a null boolean array");
          final Boolean[] result = new Boolean[array.length];
          for (int i = 0; i != result.length; ++i) {
              result[i] = array[i];
          }
          return result;
      }
docs: Converts an array of booleans to an array of Booleans.
  @param array the primitive array
  @return the array of boxed objects