new player api for contra re
aktivated contra re option in option dialog
simplified option parsing and writing
Contra/Re before trick playing
Contra/Re before first card
newer version of jetty-websocket
unit tests are started with default options now
contra option is handled correctly now
some refactoring of the AI player interface
some refactoring of the AI player interface
some refactoring of the AI player interface
added contra/re to game summary
unit tests for game value calculation under contra/re
contra/re information is shown in the GUI
fixed check style warnings
fixed check style warnings
new GUI actions for human player to call Contra or Re
contra/re information is shown in the GUI
contra re button on playing
i18n for contra re action buttons