Fix RfbPlayer so that it shuts down more orderly. prevents a
crash with certain jvm versions under Win IE.

git-svn-id: svn://svn.code.sf.net/p/tigervnc/code/trunk@2538 3789f03b-4d11-0410-bbf8-ca57d06f2519
diff --git a/java/src/com/tightvnc/rfbplayer/RfbProto.java b/java/src/com/tightvnc/rfbplayer/RfbProto.java
index 952dc8d..c5af418 100644
--- a/java/src/com/tightvnc/rfbplayer/RfbProto.java
+++ b/java/src/com/tightvnc/rfbplayer/RfbProto.java
@@ -80,6 +80,16 @@
     newSession(url);
   }
 
+  // Force processing to quit
+  public void quit() {
+    fbs.quit();
+    try {
+      is.close();
+    } catch (IOException e) {
+      System.out.println("IOException quitting RfbProto: " + e);
+    }
+  }
+
   //
   // Open new session URL.
   //