Make the method receive a more flexible parameter

Change-Id: Icf5d0e272a6f20be40a266f276710b1cd0c144ef
diff --git a/utils/misc/src/main/java/org/onlab/util/Tools.java b/utils/misc/src/main/java/org/onlab/util/Tools.java
index 3ad576b..b516459 100644
--- a/utils/misc/src/main/java/org/onlab/util/Tools.java
+++ b/utils/misc/src/main/java/org/onlab/util/Tools.java
@@ -659,8 +659,8 @@
      * @param <T> type of enclosed value
      * @return optional as a stream
      */
-    public static <T> Stream<T> stream(Optional<T> optional) {
-        return optional.map(Stream::of).orElse(Stream.empty());
+    public static <T> Stream<T> stream(Optional<? extends T> optional) {
+        return optional.map(x -> Stream.of(x)).orElse(Stream.empty());
     }
 
     // Auxiliary path visitor for recursive directory structure copying.