jshell tool: external editor temp file should be *.java

XMLWordPrintable

    • b142
    • Not verified

      Generated file should end in ".java" for editors (like jEdit) which key formatting off the filename extension.

            Assignee:
            Robert Field (Inactive)
            Reporter:
            Robert Field (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: