import java.io.RandomAccessFile;
import java.nio.channels.Channels;
import java.nio.channels.FileChannel;
+import java.nio.charset.StandardCharsets;
import java.util.ArrayList;
import java.util.Collections;
import java.util.List;
out.seek(dataPos);
out.writeShort(h.entrySource.index());
out.writeUTF(h.title);
- byte[] data = h.getHtml().getBytes("UTF-8");
+ byte[] data = h.getHtml().getBytes(StandardCharsets.UTF_8);
out.writeInt(data.length);
ByteArrayOutputStream baos = new ByteArrayOutputStream();
GZIPOutputStream gzout = new GZIPOutputStream(baos);