});
ActionListener a7 = new ActionListener() {
public void actionPerformed(ActionEvent e) {
getCore().getNetwork().sendMessage(new RefreshMessage());
}
};
this.refresh.addActionListener(a7);
this.refresh.addKeyListener(new KeyAdapter() {
public void keyPressed(KeyEvent e) {
getCore().getNetwork().sendMessage(new RefreshMessage());
}
});
//Button