Support earlier Eclipse 4.2