No one *seems* to be using Eclipse, but we shold be consistent [ci skip]