Two minor cleanup patches to remove red crosses in my Eclipse.