<% /* * Included ~10 times, keep whitespace to a minimum */ %> <% navHelper.storeWriter(out); %>

<% // moved to java for ease of translation and to avoid 10 copies // allowIFrame variable from summary.jsi navHelper.renderNavBar(request.getRequestURI(), allowIFrame); %>