2010-11-17 Peter Varga <pvarga@inf.u-szeged.hu>