[tor-commits] [orbot/master] set Java compat to 1.8 for app-mini