Switch debian repos to archived, since Stretch is EOL#81

Project516 wants to merge 1 commit intoev3dev-lang-java:masterev3dev-lang-java/openjdk-ev3:masterfrom

Project516:fixCopy head branch name to clipboard