Work-around for Dart issue 9283

https://code.google.com/p/dart/issues/detail?id=9283
dart2js
hand-fix for r20205