Porting OpenJDK in Genode.