+ private static String getHTMLHeader(Properties props) throws IOException {
+ String fileName;
+ File f;
+
+ fileName = props.getProperty(KEY_HTML_HEADER_FILE);
+
+ if (fileName == null) {
+ LOG.info(KEY_HTML_HEADER_FILE + " is not set");
+ return null;
+ }
+
+ f = new File(fileName);
+ return new String(Files.readAllBytes(f.toPath()),
+ StandardCharsets.UTF_8);