code: public void printArray(double[] data) {
          for (int i = 0; i < data.length; ++i)
              format(Locale.ENGLISH, "% .12e%n", data[i]);
      }
docs: Prints an array to the underlying stream. One entry per line.