(URL url)
| 697 | } |
| 698 | |
| 699 | public boolean readFromURL(URL url) throws IOException { |
| 700 | InputStream in = url.openStream(); |
| 701 | Reader reader = new InputStreamReader(url.openStream()); |
| 702 | |
| 703 | boolean isNexus = isNexus(reader); |
| 704 | |
| 705 | reader.close(); |
| 706 | |
| 707 | reader = new InputStreamReader(url.openStream()); |
| 708 | |
| 709 | return readData(reader, isNexus); |
| 710 | } |
| 711 | |
| 712 | private boolean isNexus(Reader reader) throws IOException { |
| 713 | BufferedReader bufferedReader = new BufferedReader(reader); |