--- etc/jvm_options.xml.in.orig 2010-02-07 03:10:09.552580163 +0100 +++ etc/jvm_options.xml.in 2010-02-07 03:10:39.474580024 +0100 @@ -22,8 +22,8 @@