public void resolve() {
                    player[0] = crd.getController();
                    PlayerZone lib = AllZone.getZone(Constant.Zone.Library, player[0]);

                    if (lib.size() > 0) {
                        CardList cl = new CardList();
                        cl.add(lib.get(0));
                        GuiUtils.getChoiceOptional("Top card", cl.toArray());
                    }
                    ;
                    if (lib.size() == 0)
                        return;
                    Card top = lib.get(0);
                    player[0].gainLife(CardUtil.getConvertedManaCost(top.getManaCost()), crd);
                    AllZone.getGameAction().moveToHand(top);
                }