equal
deleted
inserted
replaced
679 if (className.matches("^[A-Za-z]+:.*")) { |
679 if (className.matches("^[A-Za-z]+:.*")) { |
680 try { |
680 try { |
681 final URI uri = new URI(className); |
681 final URI uri = new URI(className); |
682 final URL url = uri.toURL(); |
682 final URL url = uri.toURL(); |
683 final URLConnection conn = url.openConnection(); |
683 final URLConnection conn = url.openConnection(); |
|
684 conn.setUseCaches(false); |
684 return new JavaFileObject() { |
685 return new JavaFileObject() { |
685 @DefinedBy(Api.COMPILER) |
686 @DefinedBy(Api.COMPILER) |
686 public Kind getKind() { |
687 public Kind getKind() { |
687 return JavaFileObject.Kind.CLASS; |
688 return JavaFileObject.Kind.CLASS; |
688 } |
689 } |
707 return uri; |
708 return uri; |
708 } |
709 } |
709 |
710 |
710 @DefinedBy(Api.COMPILER) |
711 @DefinedBy(Api.COMPILER) |
711 public String getName() { |
712 public String getName() { |
712 return url.toString(); |
713 return uri.toString(); |
713 } |
714 } |
714 |
715 |
715 @DefinedBy(Api.COMPILER) |
716 @DefinedBy(Api.COMPILER) |
716 public InputStream openInputStream() throws IOException { |
717 public InputStream openInputStream() throws IOException { |
717 return conn.getInputStream(); |
718 return conn.getInputStream(); |