Treasures gained with Taxman are not top-decked

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Play a Taxman.
2. Trash any treasure. Choose a new treasure.
3. End turn and draw five new cards.

What is the expected output? What do you see instead?
Since your treasure was top-decked, you should see the new treasure in the next 
hand of five. Instead, you do not.

What version of the product are you using? On what operating system?
4.02 Guilds on Samsung S4, Android 4.2.2.

Please provide any additional information below.

Original issue reported on code.google.com by wesc...@gmail.com on 16 Oct 2013 at 5:41

[GoogleCodeExporter]

I just confirmed this bug on the latest build of the multiplayer branch (which 
is a strict addition to trunk, so the bug also exists in trunk).  I'm going to 
focus on multiplayer, though, so someone else can take this bug.

Original comment by drai...@gmail.com on 20 Oct 2013 at 2:32

[GoogleCodeExporter]

Should be possible to fix by adding Cards.taxman to the end of the list at line 
2043 of com.vdom.core.Game.java

Original comment by chenjing...@gmail.com on 24 Oct 2013 at 5:04

[GoogleCodeExporter]

Thanks for the suggestion, chenjingdao.  That simple change appears to have 
worked.  This is fixed in the multiplayer branch in r843 (with an updated apk).

Original comment by drai...@gmail.com on 28 Oct 2013 at 12:21

• Changed state: Fixed

[GoogleCodeExporter]

I've also encountered this on 4.02 on Android 4.2.2.  What's the deal with 
downloading the APK in r843?  Is that a version with debug and other developer 
tools still active?

Original comment by aya...@gmail.com on 30 Apr 2014 at 4:37