The Rush Hour boardgame in Java.