protected void writeContents() throws IOException {
String prefix = getPrefix();
if (prefix == null) prefix = "";
DashHierarchy props = getPSPProperties();
PropertyKey key = props.findExistingKey(prefix);
out.write("<HTML><HEAD>");
out.write("<link rel=stylesheet type='text/css' href='/style.css'>");
out.write("<TITLE>Hierarchy");
if (prefix.length() > 0) {
out.write(" - ");
out.write(prefix);
}
out.write("</TITLE></HEAD><BODY>");
if (prefix.length() > 0) {
out.write("<B>");
out.write(prefix);
out.write("</B><BR>");
}
for (int i=0; i < props.getNumChildren(key); i++)
writeNode(props, props.getChildKey(key, i));
List<ScriptID> scripts = ScriptEnumerator.getScripts(
getDashboardContext(), key);
if (scripts != null && scripts.size() != 0) {
out.write("<hr>");