There was a fair bit of discussion regarding the merits of pick 9 for Jamar in a recent thread. I think a pick in the first round is fair. However, if we trade out Jamar then we should look at a mature replacement or we're in a world of hurt next year.
How do people rate Jolly v Jamar? I think Jolly shades Jamar at the moment but Jamar's younger.
EDIT: Shades is probably the wrong word. Fwiw, if we traded Jamar he'd be a year older than Jolly was when we traded him for pick 15. As Roos has said, Jolly's improved a heap since then and this draft has a shallow pool of players due to the changed age eligibility.