Just so you know, my plugin Pretty properties allows you to change date format, among the other things.