private String getHeadTags(Page page, List<HeaderInfo> defs) { if (defs == null) return ""; final StringBuffer sb = new StringBuffer(256); for (HeaderInfo hi : defs) { final String s = hi.toHTML(this, page); if (s != null && s.length() > 0) sb.append(s).append('\n'); } return sb.toString(); }