Я действительно не знаю, поддерживается ли javafx.util.Properties
Java Map
, но, поскольку в общедоступном API не упоминается какой-либо способ получить эту карту, вы, вероятно, не должны пытаться делать это - даже если это было возможно ( например, расширение класса Properties
) может измениться в будущих версиях.
Я бы остановился на копировании каждого элемента.