Don't think so, seems mostly relevant to java :-)

Amazing :-)

I think it can be further simplified, by using this as first line:

//bin/sh << "EOF2"
By putting the "end word" under double-quotes, you no longer need
to backslash-escape each dollar-sign in the actual script-part of
the file.

You should also use this technique for "cat >/dev/null"-ing the
actual java source-code, because otherwise, eventual occurrences
of e.g. `date` (and just as well also nastier things than that)
in the java-part would still be executed! Not that any backticks
or $(...) were appearing in your sample, but I see this more as
a recipe to wrap simple java-code, and some arbitrary thusly
wrapped code could easily contain such thing inside a string-
constant or comment.

Anyway: using  //bin/... for the switching... cool!  :-)

Neat stuff. Thanks for posting it.