eric5 5.4.5