Fix a weird issue with Eclipse. Fuck you, Eclipse.