translate java jar files into Boogie programs