Add java.util.Date

Simple java.util.Date implementation.

Note: Our Date.parse is less restrictive currently than Java's Date.parse, since it defers to the JavaScript Date constructor.