--- a/java/sql-dk/src/info/globalcode/sql/dk/formatting/TabularFormatter.java	Sun Aug 30 02:24:36 2015 +0200
+++ b/java/sql-dk/src/info/globalcode/sql/dk/formatting/TabularFormatter.java	Sun Aug 30 02:28:15 2015 +0200
@@ -277,4 +277,11 @@
 	protected void printTableIndent() {
 		out.print(" ");
 	}
+
+	/**
+	 * @return whether should print only ASCII characters instead of unlimited Unicode.
+	 */
+	protected boolean isAsciiNostalgia() {
+		return asciiNostalgia;
+	}
 }