changed timestamp format in jboss/Makefile