replace usages of Gbl.getConfig(), added gpl-header
Authored by: mrieser 2010-05-04
Parent: [r11392]
Child: [r11394]