[PATCH] sync to jde 2.2.9beta12