Ah... I see.
It is copy/paste from java2dart-ed code.
Sorry :-)