final Set /* String */ _propertyNames = new TreeSet ();
// note: must use propertyNames() because that is the only method that recurses
for (Enumeration propertyNames = propertyNames (); propertyNames.hasMoreElements (); )
{
_propertyNames.add (propertyNames.nextElement ());
}
for (Iterator i = _propertyNames.iterator (); i.hasNext (); )
{
final String n = (String) i.next ();
final String v = getProperty (n);
out.println (n + ":\t[" + v + "]");
}