Fix Eclipse error after renaming