Modifications made by Eclipse