I’m saying that should be acceptable by the license so long as it is very hard for AlienFlux.exe or “mocha” to launch anything other than what Puppy Games distrubutes. It won’t be in the PATH, it won’t install any hooks, Teh embedded JRE will NOT be listed in theregistry where java.exe typically looks, etc.
Sun ALREADY allows this distribution of the embedded JRE that is only used by a particular application or set of applications. So long as it can’t be used by OTHER applications without breaking the law. (E.g. the new Sun license forbids use of the Sun embedded JRE for parties that have not agreed to display the “Powered By Java” thingy.)
In that light the idea of not allowing the distribution of a general pupose launcher makes sense. IF the only EXEs that you can ship will only launch the apps that you ship, without someone basically re-writing your app so it does something else, then you are fairly safe that the embedded JRE is not going to get hi-jacked by others. And of course, what reason would anyone have to do that, if they can legally bundle their own embedded JRE? We really only have to prevent this from happening by accident.