[docker] Remove accidentally added home apt-cache

Author: JakubVanek

jdk10/Dockerfile.system

@@ -4,7 +4,6 @@ FROM debian:stretch
 
 # setup repositories and install required packages
 COPY apt.sources.list.debian /etc/apt/sources.list
-COPY 00aptproxy /etc/apt/apt.conf.d/
 COPY ev3dev-archive-keyring.gpg /etc/apt/trusted.gpg.d/
 RUN dpkg --add-architecture armel && \
     apt-get update && \
@@ -53,7 +52,7 @@ RUN dpkg --add-architecture armel && \
 
 # download JDK 10
 RUN mkdir /opt/jdkcross
-RUN curl -SL http://10.0.0.42/openjdk-10_linux-x64_bin.tar.gz | tar -xzC /opt/jdkcross
+RUN curl -SL https://download.java.net/java/GA/jdk10/10/binaries/openjdk-10_linux-x64_bin.tar.gz | tar -xzC /opt/jdkcross
 
 # prepare a nonroot user
 COPY compiler.sudoers /etc/sudoers.d/compiler