eric5 5.4.6