Patch Set 9:

All SAP committers seem to be on holidays these days. Starting from Monday 10th of January most of them will be in the office and I will make sure at least one of them looks at this change.