--- jetty.ORIG	2010-07-21 04:56:48.000000000 +0800
+++ jetty	2012-02-09 12:18:26.876914651 +0800
@@ -209,7 +209,7 @@
 	exit 0
 fi
 
-CONFIG_LINES=$(cat /etc/jetty/jetty.conf | grep -v "^[:space:]*#" | tr "\n" " ")
+CONFIG_LINES=$(cat /etc/jetty/jetty.conf | grep -v "^[[:space:]]*#" | tr "\n" " ")
 
 ##################################################
 # Get the list of config.xml files from jetty.conf