1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java	Sat Dec 28 12:19:39 2013 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java	Sat Dec 28 16:45:04 2013 +0100
     1.3 @@ -202,7 +202,9 @@
     1.4  	}
     1.5  
     1.6  	private Formatter getFormatter() throws ConfigurationException, FormatterException {
     1.7 -		FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(options.getFormatterName());
     1.8 +		String formatterName = options.getFormatterName();
     1.9 +		formatterName = formatterName == null ? Configuration.DEFAULT_FORMATTER_PREFETCHING : formatterName;
    1.10 +		FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(formatterName);
    1.11  		FormatterContext context = new FormatterContext(out);
    1.12  		return fd.getInstance(context);
    1.13  	}