В java.net.url существует метод getFile() и getPath().
В моем тестировании оба они возвращают одинаковый результат: полный путь и файл после имени косой черты имени домена.
Например, http://www.google.com/x/y/z.html возвращает x/y/z.html для обоих методов.
Может ли кто-нибудь описать Javadocs?
URL.getFile() javadocs говорят это:
Получает имя этого URL-адреса. Возвращенная часть файла будет такой же, как getPath(), плюс конкатенация значения getQuery(), если таковая имеется. Если нет части запроса, этот метод и getPath() возвращают идентичные результаты.
Они будут одинаковыми, если нет строки запроса, например. a ?somename=value&somethingelse=value2 в URL.
Получает имя этого URL-адреса. Возвращенная часть файла будет такой же, как getPath(), плюс конкатенация значения getQuery(), если таковая имеется. Если нет части запроса, этот метод и getPath() возвращают идентичные результаты.