protected void writeContents() throws IOException {
String prefix = getPrefix();
if (prefix == null) prefix = "";
PSPProperties 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>");
}
PropertyKey child;
for (int i=0; i < props.getNumChildren(key); i++)
writeNode(props, props.getChildKey(key, i));
Vector scripts = props.getScriptIDs(key);
ScriptID script;