Shell scripts modified:
  (1) change #! /bin/sh to #! /bin/bash in both script files.
  (2) Add new feature to runant so that it can support all arguments that are supported by ant.
  (3) Other issue fixes.