#UIManager properties
#Wed Jul 23 16:37:44 EDT 1997
DefaultFactory=com.sun.java.swing.basic.BasicFactory
NoDefaultFactoryMsg=Default UI factory not set, using BasicFactory
