n /**
n * Show a property.
n */
n String showProp(String prop)
{
n String value =
System.getProperty(prop);
n propbuf.setLength(0);
n propbuf.append(prop);
propbuf.append(" = ");
n if (value == null) {
n
propbuf.append("<undefined>");
n } else {
n propbuf.append("\"");
propbuf.append(value); propbuf.append("\"");
n }
n propbuf.append("\n");
n return propbuf.toString();
n }
n /**
n * Time to pause, free any space we don't
need right now.
n */
n public void
pauseApp() {
n }
n /**
n * Destroy must cleanup everything.
n */
n public void destroyApp(boolean
unconditional) {
n }
n}