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 |