fixed time formatting in display servlet