SDK fixes

tool/input_sdk/lib/core/set.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of dart.core;
 
 /**
  * A collection of objects in which each object can occur only once.
  *
  * That is, for each object of the element type, the object is either considered
@@ skipping 151 matching lines @@
    * all the elements of [other].
    */
   Set<E> union(Set<E> other);
 
   /**
    * Returns a new set with the the elements of this that are not in [other].
    *
    * That is, the returned set contains all the elements of this [Set] that
    * are not elements of [other] according to `other.contains`.
    */
-  Set<E> difference(Set<E> other);
+  Set<E> difference(Set<Object> other);
 
   /**
    * Removes all elements in the set.
    */
   void clear();
 
   /* Creates a [Set] with the same elements and behavior as this `Set`.
    *
    * The returned set behaves the same as this set
    * with regard to adding and removing elements.
    * It initially contains the same elements.
    * If this set specifies an ordering of the elements,
    * the returned set will have the same order.
    */
   Set<E> toSet();
 }