Fix broken static_init_order test descriptions

These were trying to match for a blank line, which doesn't occur in the output
any more, and was surely not intentionally searched for in the first place. This
only causes a problem under Windows (or more likely, under certain versions of Perl),
probably due to a change in empty line stripping.

Author: smowton

regression/cbmc-java/static_init_order/test1.desc

@@ -1,7 +1,6 @@
 CORE
 static_init_order.class
 --function static_init_order.test1 --trace
-
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/cbmc-java/static_init_order/test2.desc

@@ -1,7 +1,6 @@
 CORE
 static_init_order.class
 --function static_init_order.test2
-
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$