Eclipse 3.7 API compatibility