I also discussed Certain Justice with my players and we changed its duration to until the end of next turn from as long as you maintain the challenge.
Certain Justice is way too strong for an Encounter power (Paladin Champion of Order Paragon path in the PH). However, Paladins are a pretty weak class (Str Paladins have a particularly limited selection of powers), and need their awesome Paragon paths to stay competitive. The trouble is that Certain Justice is much too strong and completely changes the dynamics of fights involving elites/solos. This fight is an example of that.
Potential house rule:
Certain Justice (Champion of Order—Paladin Paragon Path Encounter 11): Change the second sentence to “If the target is marked by you, it is also weakened and dazed until the end of your next turn.” Change damage to [W] + Strength modifier.
Champion of Order—In Defense of Order (Feature, level 11): Change the first sentence to add: “When you are adjacent to the target of your divine challenge, the target provokes an opportunity attack from you if it shifts or makes an attack that does not include you as a target.”
Reasoning: Certain Justice is too powerful as written, and completely changes the dynamics of fights against solos. Changing its effect to until the end of the next turn greatly weakens the power, so adding to damage seems fair. Changing In Defense of Order so that the target also provokes opportunity attacks on a shift makes this feature stronger and more thematic, and helps compensate for the change to Certain Justice.