Thu, 17 Mar 2011 09:02:51 +0100Merge #417
Alpar Juttner <alpar@cs.elte.hu> [Thu, 17 Mar 2011 09:02:51 +0100] rev 932
Merge #417