Wed, 13 Jul 2011 15:04:03 +0200Merge #419
Alpar Juttner <alpar@cs.elte.hu> [Wed, 13 Jul 2011 15:04:03 +0200] rev 948
Merge #419