Better server properties editing with JFileChooser