hmm, stupid eclipse bug