code: public static void toPemFile(final @NonNull PublicKey publicKey, final @NonNull File file)
  			throws IOException {
  		PublicKeyWriter.writeInPemFormat(publicKey, file);
  	}
docs: Write the given {@link PublicKey} into the given {@link File}.
  
  @param publicKey
  the public key
  @param file
  the file to write in
  @throws IOException
  Signals that an I/O exception has occurred.