docs: public static void readLines(RandomAccessFile file, Charset charset, LineHandler lineHandler) {
  		String line = null;
  		try {
  			while ((line = file.readLine()) != null) {
  				lineHandler.handle(CharsetUtil.convert(line, CharsetUtil.CHARSET_ISO_8859_1, charset));
  			}
  		} catch (IOException e) {
  			throw new IORuntimeException(e);
  		}
  	}