JPred - interesting way to specify multi-methods (and more!)

Interesting talk by Todd Millstein on his "predicate dispatch" language: JPred
http://www.cs.ucla.edu/~todd/jpred/

On the surface it's some syntactic-sugar for "instanceof, if-the-else ladder", but it's quite a bit more sophisticated. I'm not yet considered it in enough detail, but it looks like a useful tool (FWIW, it was interesting enough that I downloaded it during the subsequent talk).