Attempt to make Postgresql date formatting codes closer to that of hsqldb