Гугл очень быстро дает более красивый вариант этого метода. Поэтому не буду его сюда складывать. А вот эта штука (которую, впрочем, я нашел в том же поиске в первой же ссылке) будет полезна всем:
System.getProperties().list(System.out);
Этот веб-сайт использует данные cookie, чтобы настроить персонально под вас работу сервиса. Используя веб-сайт, вы даете согласие на применение данных cookie. Больше подробностей — в нашем Пользовательском соглашении.
ПЕРЕЙДИТЕ В ПОЛНУЮ ВЕРСИЮ
Разделитель каталогов может быть такой не только в никсах, могу ошибаться.