Eclipse thinks these changed