eric5 5.4.7