@ 260915.5
current
Hello.bat:#!/bin/sh
Hello.bat|echo "Hello World!"
Hello.java:public class Hello // prints a Hello World! greeting
Hello.java|{ public static void main(String[] arg)
Hello.java:  }
Hello.java|}
Hello.sh:#!/bin/sh
Hello.sh|echo "Hello World!"