# Arguments for the `java` launch of shell commands  | -*- coding: us-ascii; mode: conf-javaprop; -*-
#
# This is a `java` command-line argument file; a referent of the files under `./bin/`.  For syntax:
# `https://docs.oracle.com/en/java/javase/17/docs/specs/man/java.html#java-command-line-argument-files`.

 # --class-path /tmp/Makeshift/ # (given instead in `./java_javac_arguments`)
    -enableassertions
 # --enable-preview # (given instead in `./java_javac_arguments`)
 # --source 22 # (given instead in `./java_javac_arguments`)
      # To enable source launch of a file that lacks a `.java` extension.
      # https://docs.oracle.com/en/java/javase/17/docs/specs/man/java.html#using-source-file-mode-to-launch-single-file-source-code-programs
    -XX:+ShowCodeDetailsInExceptionMessages # https://openjdk.java.net/jeps/358


                                                # Copyright 2020, 2022-2023  Michael Allan.  Licence MIT.