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