validator.setType() does not work

[michalg]

The following code works:

                Validator validator = new Validator();
                validator.setAttribute("type", "floatRange");
                validator.setAttribute("max", 6);
                validator.setAttribute("min", 1);

but this one not:

                Validator validator = new Validator();
                validator.setType(ValidatorType.FLOATRANGE);
                validator.setAttribute("max", 6);
                validator.setAttribute("min", 1);

Printing ValidatorType.FLOATRANGE.getValue() shows "floatrange" (lowercase), so thats a problem, I think.
MichalG
ps SmartGWT svn 1200, GWT2