Bugfix, so the code compiles again on the command line -- in eclipse it already did....
Authored by: mrieser 2007-11-25
Parent: [r4]
Child: [r6]
