--- old/src/share/classes/java/util/Observable.java	2011-12-03 15:58:00.175388450 +0100
+++ new/src/share/classes/java/util/Observable.java	2011-12-03 15:58:00.037388464 +0100
@@ -61,12 +61,12 @@
  */
 public class Observable {
     private boolean changed = false;
-    private Vector obs;
+    private Vector<Observer> obs;
 
     /** Construct an Observable with zero Observers. */
 
     public Observable() {
-        obs = new Vector();
+        obs = new Vector<>();
     }
 
     /**