Patch for Eclipse 3.1.2