Translate java jar files into Boogie programs