Working with Eclipse 4.3 (but not yet Eclipse 4.4)