Alternating time/date format?

I added a function into core.date of the Jython helper libraries to do just that…