Java version in the Editor

[aghasemi]

Hi,
I just realised that when editing a JBang script with jbang edit, the Java version that is applied in the editor is that of the system (or the editor itself, more precisely), not the version specified with //JAVA directive. This can cause inconsistency when running a script in the editor and then using the jbang run command.

Is it a know issue? Is there any solution around it? I can understand it is a very difficult situation.

Many thanks.

[maxandersen]

That's a bug.

[maxandersen]

@aghasemi can you open issue with info on what editor/IDE you see it ?

note: we probably can't handle all cases.