<%-- generated by Dynamator Wed Mar 31 19:15:35 CST 2004 --%> <%@ page session="false" %> <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <title>System Properties</title> </head> <body> <dl class="Properties"><% { java.util.Properties $systemProperties = System.getProperties(); String property; String propertyName; java.util.Enumeration $systemPropertiesNames = $systemProperties.propertyNames(); while ( $systemPropertiesNames.hasMoreElements() ) { propertyName = (String) $systemPropertiesNames.nextElement(); property = $systemProperties.getProperty(propertyName); %> <dt class="PropertyName"><%= propertyName %></dt> <dd class="PropertyValue"><%= property %></dd> <% } } %></dl> </body> </html>