/*
* Must be in the format HHmm (that is, 4 consecutive digits)
*/
Pattern pattern = new Pattern("\\d\\d\\d\\d");
Date date = null;
if( pattern.matches(hhmm))
{
GWT.log("pattern matches?: " + pattern.matches(hhmm));
GWT.log("hhmm:" + hhmm);
String hh = hhmm.substring(0, 2);