Ask YC : [Optionally] Statically typed languages on the JVM?

I know of 2 statically typed languages on the JVM : Java and Scala. Any other interesting languages on the JVM which are more or less stable enough to use? I already know a lot of dynamic laguages run on the JVM like Jython and JRuby but not too many nice statically typed languages around.

Something with optional static typing like Common Lisp will also do. (I know about ABCL but its GPL and I am not sure how well CLOS maps to JVM for example).