Original source code can be found in https://github.com/dart-lang/eclipse3