#! python


from javatools.distinfo import main
import sys


if __name__ == "__main__":
   try:
      sys.exit(main(sys.argv))
   except KeyboardInterrupt:
      sys.exit(128)


#
# The end.
