time functions such as hourFormat12()

You can convert UNIX time to whatever with the time lib but

hourFormat12()

is used to return the 12 hour format for the Time library which is basically the code for a digital alarm clock that runs on an Arduino. I am currently using it in two of my projects. Your processing code could easily pass the time to it.
My reason for using it is that it is pretty much in the background as far as it's operation goes and allows me to have a clock without the bother of writing one and at the same 'time' handle screen refreshing, a touch keypad and some other devices...

Bob