Merge "Require Eclipse 3.7.2 instead of Eclipse 3.6.2." into idea133
 Auto-merge: 5281ea1

* commit '5281ea1ba94ed4ff8fb6996b89249428b6eb7014':
  Require Eclipse 3.7.2 instead of Eclipse 3.6.2.