--- a/java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java	Wed Dec 25 01:23:27 2013 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java	Wed Dec 25 02:04:57 2013 +0100
@@ -79,6 +79,10 @@
 	}
 	private boolean colorful = true;
 
+	public void setStyle(TerminalStyle style) {
+		setStyle(EnumSet.of(style));
+	}
+
 	public void setStyle(EnumSet<TerminalStyle> styles) {
 		printCodes(getStyleCodes(styles));
 	}