Reverted 'cosmetic change' of x+y to x + y inside a
regular expression: "\\d+" is not the same as "\\d + ".
Authored by: mgricken 2009-09-23
Parent: [r5077]
Child: [r5079]
