Wed, 08 Jan 2014 19:24:26 +0100 František Kučera Improved BatchEncoder: writeNextString() v_0