Import java/eclipse-devel version 4.2.0_4