--- a/java/sql-dk/src/info/globalcode/sql/dk/formatting/TeXFormatter.java	Sat Aug 15 10:04:28 2015 +0200
+++ b/java/sql-dk/src/info/globalcode/sql/dk/formatting/TeXFormatter.java	Sat Aug 15 10:20:39 2015 +0200
@@ -19,6 +19,9 @@
 
 import info.globalcode.sql.dk.ColorfulPrintWriter;
 import info.globalcode.sql.dk.Constants;
+import info.globalcode.sql.dk.configuration.PropertyDeclaration;
+import static info.globalcode.sql.dk.formatting.CommonProperties.COLORFUL;
+import static info.globalcode.sql.dk.formatting.CommonProperties.COLORFUL_DESCRIPTION;
 import java.util.Collections;
 import java.util.HashMap;
 import java.util.List;
@@ -29,10 +32,10 @@
  *
  * @author Ing. František Kučera (frantovo.cz)
  */
+@PropertyDeclaration(name = COLORFUL, type = Boolean.class, description = COLORFUL_DESCRIPTION)
 public class TeXFormatter extends AbstractFormatter {
 
 	public static final String NAME = "tex"; // bash-completion:formatter
-	public static final String PROPERTY_COLORFUL = "color";
 	private static final ColorfulPrintWriter.TerminalColor COMMAND_COLOR = ColorfulPrintWriter.TerminalColor.Magenta;
 	private static final ColorfulPrintWriter.TerminalColor OPTIONS_COLOR = ColorfulPrintWriter.TerminalColor.Yellow;
 	private static final Map<Character, String> TEX_ESCAPE_MAP;
@@ -58,7 +61,7 @@
 
 	public TeXFormatter(FormatterContext formatterContext) {
 		super(formatterContext);
-		boolean colorful = formatterContext.getProperties().getBoolean(PROPERTY_COLORFUL, false);
+		boolean colorful = formatterContext.getProperties().getBoolean(COLORFUL, false);
 		out = new ColorfulPrintWriter(formatterContext.getOutputStream(), false, colorful);
 	}