src/share/classes/com/sun/tools/javac/file/Locations.java

changeset 1339
0e5899f09dab
parent 1230
b14d9583ce92
child 1358
fc123bdeddb8
equal deleted inserted replaced
1338:ad2ca2a4ab5e 1339:0e5899f09dab
731 URL url = fileToURL(new File(st.nextToken())); 731 URL url = fileToURL(new File(st.nextToken()));
732 if (url != null) { 732 if (url != null) {
733 urls[count++] = url; 733 urls[count++] = url;
734 } 734 }
735 } 735 }
736 if (urls.length != count) { 736 urls = Arrays.copyOf(urls, count);
737 URL[] tmp = new URL[count];
738 System.arraycopy(urls, 0, tmp, 0, count);
739 urls = tmp;
740 }
741 return urls; 737 return urls;
742 } 738 }
743 739
744 /** 740 /**
745 * Returns the directory or JAR file URL corresponding to the specified 741 * Returns the directory or JAR file URL corresponding to the specified

mercurial