[polly] Support the new DiagnosticRemarks (v3)

[Andreas Simbuerger]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Right after sending I noticed that I forgot to add the override
modifiers. Will be added in the final patch, sorry.

- -- 
Andreas Simbürger
University of Passau - Programming Group
http://www.infosun.fim.uni-passau.de/cl/staff/simbuerger/

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBAgAGBQJToAADAAoJELS7a/6Ti2HY9gQH/14zxpig1PafzqZXUn56nmgW
WghKcR8uq1HjNI91xgv4Dmw6oQPjsUuotYlDfQNgCXxntqPU6FEYpPndbKy0nHLj
sWE2GP5FxUxYuCsD7dTvfduqaLeVmPiCTACrOsg39D0WkGsPbQXPxpwovYyZKFQF
tXGYFiFyadQKuC04uVfy6VyD6JZVuz53aI/cD/A4Q8GgHYFYn5jAqvB3TQKVq6jp
EmbPunQgwCz9tux45T+ATmk+DrnTQb2m0v7Qhva+pcagEK+ihIMsMav8Vd0ih7Li
41ZrZC8P6rO38uUisznZRseX05AkzGK3TIjH0K9xI5j5/j2TM3h08F6hHGMfL+U=
=ViCn
-----END PGP SIGNATURE-----