Stefano Lattarini Wed, 04 May 2011 10:21:25 -0700
I've merged maint into java-work, and pushed. Regards, Stefano
