DNS Cache Manager: touch DNSServersPanel.java