You can do better now: #!/usr/bin/env java --source 25 void main() { IO.println("Hello, World!"); } https://openjdk.org/jeps/330 https://o

You can do better now: #!/usr/bin/env java --source 25 void main() { IO.println("Hello, World!"); } https://openjdk.org/jeps/330 https://openjdk.org/jeps/330 https://openjdk.org/jeps/458 https://openjdk.org/jeps/458 https://openjdk.org/jeps/512 https://openjdk.org/jeps/512 I often combine these approaches with https://get-coursier.io/ https://get-coursier.io/ when I need to fetch third-party dependencies.