Github user aljoscha commented on the issue:
https://github.com/apache/flink/pull/5332
Changes look good!
It might make sense to also remove the line number from the string because
this might also change in the future. It's not a must, though.---
