JButton restartButton = new JButton( "RESTART" );
restartButton.setToolTipText( "Restart game" );
restartButton.setBackground( Color.LIGHT_GRAY );
restartButton.addMouseListener( new MouseAdapter() {
public void mousePressed(MouseEvent e) {
Reset reset = new Reset();
reset.setResetScore( true );
gameView.getKsession().insert( reset );
gameView.getKsession().getAgenda().getAgendaGroup("Reset").setFocus();
gameView.getKsession().fireAllRules();
}
} );