Другие ответили на мой вопрос, но полезная программа для распечатки всех доступных свойств:
for (Map.Entry<?,?> e : System.getProperties().entrySet()) { System.out.println(String.format("%s = %s", e.getKey(), e.getValue())); }