I've posted a writeup on a strategy for pattern match translation here: http://cr.openjdk.java.net/~briangoetz/amber/pattern-match-translation.html Comments welcome!