playframework/play1 — pull request #632 by mkurz (2013-08-13 16:30:50+00:00)
Title: [#1697] Date format() java extension should honor current locale

The first commit fixes the issue.
The second and third commit are code cleanups.