1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java	Mon Dec 30 23:46:41 2013 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java	Tue Dec 31 17:35:33 2013 +0100
     1.3 @@ -214,7 +214,7 @@
     1.4  		String formatterName = options.getFormatterName();
     1.5  		formatterName = formatterName == null ? Configuration.DEFAULT_FORMATTER_PREFETCHING : formatterName;
     1.6  		FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(formatterName);
     1.7 -		FormatterContext context = new FormatterContext(out);
     1.8 +		FormatterContext context = new FormatterContext(out, options.getFormatterProperties());
     1.9  		return fd.getInstance(context);
    1.10  	}
    1.11