Mon, 24 Oct 2011 21:42:22 +0200Merge #428 and #429
Alpar Juttner <alpar@cs.elte.hu> [Mon, 24 Oct 2011 21:42:22 +0200] rev 956
Merge #428 and #429