Mon, 15 Jul 2013 08:33:08 +0200Merge #446, #457, #465
Alpar Juttner <alpar@cs.elte.hu> [Mon, 15 Jul 2013 08:33:08 +0200] rev 1233
Merge #446, #457, #465