final static String DEFAULT_CONFIGURATION_FILE_NAME = "_aptx_configuration_file";
final static String[] DEFAULT_FONT_CHOICES = { "Verdana", "Tahoma",
"Arial", "Helvetica", "Dialog", "Lucida Sans", "SansSerif", "Sans-serif", "Sans" };
final static boolean VERBOSE_DEFAULT = false;
final static int DOMAIN_STRUCTURE_DEFAULT_WIDTH = 200;
final static String DEFAULT_CONFIGURATION_FILE_NAME = "_aptx_configuration_file";
final static String[] DEFAULT_FONT_CHOICES = { "Verdana", "Tahoma",
"Arial", "Helvetica", "Dialog", "Lucida Sans", "SansSerif", "Sans-serif", "Sans" };
final static boolean VERBOSE_DEFAULT = false;
final static int DOMAIN_STRUCTURE_DEFAULT_WIDTH = 200;