FileDocCategorySizeDatePackage
MHPropertiesTest.javaAPI DocExample356Sun Mar 26 19:56:34 BST 2000None

MHPropertiesTest

public class MHPropertiesTest extends Object

Fields Summary
Constructors Summary
Methods Summary
public static voidmain(java.lang.String[] args)

		MHProperties mp = new MHProperties();
		if (mp.size() == 0) {
			System.out.println("# No properties loaded from " +
				MHProperties.PROFILE_NAME);
		} else {
			mp.store(System.out, "Properties loaded from " +
				MHProperties.PROFILE_NAME);
		}