Überflüssige flush()-Anweisung entfernt
[percentcodec] / utils / src /
2012-01-28 Kai MoritzPercentCodec implementiert