diff mxtool/URLConnectionDownload.java @ 5131:e307e8104e12

fix for non-graal builds
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 21 Mar 2012 11:57:57 +0100
parents db072eec897e
children 2022366b513c
line wrap: on
line diff