Some annoying eclipse stuff