I have just opensourced jtransc.
https://github.com/jtransc/jtransc ,
https://github.com/jtransc/jtransc-examples/tree/master/hello-world
JTransc is a JVM AOT compiler (similar to TeaVM and RoboVM). But instead targeting javascript or C++,
jtransc aims to target several stuff; initially it generates haxe code. Supports plain java reflection
(so dependency injection works or will work). Haxe allows to target js, flash, java, c#, c++, php and python.
Web (html5 and flash) and Mobile (C++ on android, ios, tizen and webos).
The main focus right now is multiplatform games using kotlin.
The project itself is done with kotlin.
It is still a early pre-release, with no optimizations, but I'm going to be able to work full-time on it for some time, so it will get much better soon.