remove translatetosimplejava for now
compile using coq stuff (icon etc)