equal
deleted
inserted
replaced
35 |
35 |
36 /** |
36 /** |
37 * A Reader that reads from a URL. Used to make sure that the reader |
37 * A Reader that reads from a URL. Used to make sure that the reader |
38 * reads content from given URL and can be trusted to do so. |
38 * reads content from given URL and can be trusted to do so. |
39 * |
39 * |
|
40 * @deprecated Nashorn JavaScript script engine and APIs, and the jjs tool |
|
41 * are deprecated with the intent to remove them in a future release. |
|
42 * |
40 * @since 1.8u40 |
43 * @since 1.8u40 |
41 */ |
44 */ |
|
45 @Deprecated(since="11", forRemoval=true) |
42 public final class URLReader extends Reader { |
46 public final class URLReader extends Reader { |
43 // underlying URL |
47 // underlying URL |
44 private final URL url; |
48 private final URL url; |
45 // Charset used to convert |
49 // Charset used to convert |
46 private final Charset cs; |
50 private final Charset cs; |