Fixing Stefan's public key

I pasted this wrong before.  RT 7104

Change-Id: Ic2d1a47e6b757b07c6131e6046a7a4a795c45311