DNS Cache Manager: add ARecordsPanel.java