changeset 1398 | 9926996eca2d |
parent 1323 | 5d2341f16b4f |
child 1435 | 1b30bba2b38d |
1.1 --- a/rt/emul/mini/pom.xml Sat Sep 28 20:54:50 2013 +0200 1.2 +++ b/rt/emul/mini/pom.xml Thu Oct 31 11:23:54 2013 +0100 1.3 @@ -47,6 +47,7 @@ 1.4 --> 1.5 <javaresource name="java/net/URI.class"/> 1.6 <javaresource name="java/net/URISyntaxException.class"/> 1.7 + <javaresource name="java/net/URLConnection.class"/> 1.8 <javaresource name="java/util/Locale.class"/> 1.9 <javaresource name="java/io/OutputStream.class"/> 1.10 <javaresource name="java/io/FilterOutputStream.class"/>