I wasn’t clear after reading why-kotlin-needs-to-bundle-its-runtime-after-compiled what was needed to run a Kotlin JAR on an “unusual” JRE: If I compile my kotlin classes into a JAR in Eclipse, include the “kotlin runtime” in the jar files with -include-runtime, and hand them to a valid JRE 7 runtime that just so happens to be running on a Lego Mindstorms EV3 with LeJOS… should it work? How about on GAE? Any Java 7 JRE should be ok, as long as it can find the Kotlin Runtime (which is a set of non-native java class files)?
Or, is there native stuff that is platform dependent, and I should expect it to bork on LeJOS/GAE?
 LeJOS uses an Eclipse plugin for development, but https://github.com/JetBrains/kotlin-eclipse seems to install fine!