prefer HTTPS;
non-executable source files;
backported parts of abstract byte code verifier from AFP/Jinja --HG-- extra : rebase_source : 1d943bc92831d0a92004a43f72ff37eb352bf23f
tuned
tuned;
added new papers
added MicroJava/document/root.bib;