diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index 02812a8f7..95becc3b0 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -62,6 +62,7 @@ import java.io.*;
 import java.util.*;
 import java.util.List;
 import java.util.Timer;
+import java.util.function.Predicate;
 import java.util.logging.Handler;
 import java.util.logging.Level;
 import java.util.logging.Logger;
diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt
index dbbb43226..b0db2e135 100644
--- a/build/shared/revisions.txt
+++ b/build/shared/revisions.txt
@@ -8,7 +8,6 @@ ARDUINO 1.6.11 - 2016.08.17
   (see https://github.com/arduino/Arduino/issues/5186 for details)
 * avrdude: reverted to version 6.0.1, until all discovered regressions are solved
   (see https://github.com/arduino/Arduino/issues?q=is%3Aissue+is%3Aopen+label%3A%22Component%3A+Avrdude+6.3%22 for details)
-* Improved how examples are grouped in the menus. Thanks @PaulStoffregen
 
 ARDUINO 1.6.10 - 2016.07.26