minor tweak in batch compiler messages
diff --git a/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/messages.properties b/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/messages.properties
index 1881325..8dfc6b2 100644
--- a/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/messages.properties
+++ b/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/messages.properties
@@ -203,7 +203,7 @@
 \                                      reported as errors\n\
 \ \n\
 \ Setting warning or error options using properties file:\n\
-\    -properties: <file>   set warnings/errors option based on the properties\n\
+\    -properties <file>   set warnings/errors option based on the properties\n\
 \                          file contents. This option can be used with -nowarn,\n\
 \                          -err:.. or -warn:.. options, but the last one on the\n\
 \                          command line sets the options to be used.\n\