Results aside, do you play this the same? I thought it was pretty clear that he didn't have a king, judging by his bets. I actually thought he might have had clubs. Was putting him AI justified, seeing as he was a really short stack?

#Game No : 3029711157
***** Hand History for Game 3029711157 *****
$25 NL Texas Hold'em - Sunday, November 13, 12:58:00 EDT 2005
Table Table 65193 (Real Money)
Seat 8 is the button
Total number of players : 10
Seat 8: GFTechs ( $5.79 )
Seat 7: sickboy217 ( $51.85 )
Seat 9: seventy9 ( $12.70 )
Seat 6: Zero_Cool_Al ( $13.97 )
Seat 3: Diddler05 ( $26.80 )
Seat 10: LetYouDown ( $24.15 )
Seat 2: indy11 ( $76.59 )
Seat 5: Nesfreti ( $24.75 )
Seat 1: KONG__G ( $19.25 )
Seat 4: nbanorm ( $4.25 )
seventy9 posts small blind [$0.10].
LetYouDown posts big blind [$0.25].
** Dealing down cards **
Dealt to sickboy217 [ Jd As ]
KONG__G folds.
indy11 folds.
Diddler05 folds.
nbanorm calls [$0.25].
Nesfreti folds.
Zero_Cool_Al folds.
sickboy217 calls [$0.25].
GFTechs folds.
seventy9 calls [$0.15].
LetYouDown checks.
** Dealing Flop ** [ 4h, Kc, Jc ]
seventy9 checks.
LetYouDown checks.
nbanorm bets [$0.25].
sickboy217 calls [$0.25].
seventy9 folds.
LetYouDown folds.
** Dealing Turn ** [ 9d ]
nbanorm bets [$0.25].
sickboy217 is all-In [$51.35]
nbanorm is all-In [$3.50]
** Dealing River ** [ 3h ]
nbanorm shows [ 3c, Js ] two pairs, jacks and threes.
sickboy217 shows [ Jd, As ] a pair of jacks.
sickboy217 wins $47.60 from side pot #1 with a pair of jacks.
nbanorm wins $8.55 from the main pot with two pairs, jacks and threes.
Game #3029715988 starts.