Grafreed.java
.. .. @@ -955,6 +955,8 @@ 955 955 java.io.ObjectInputStream p = new java.io.ObjectInputStream(zstream); 956 956 957 957 readobj = (Object3D) p.readObject(); 958 + p.close();959 + zstream.close();958 960 istream.close(); 959 961 960 962 readobj.ResetDisplayList(); .. .. @@ -968,6 +970,7 @@ 968 970 java.io.ObjectInputStream p = new java.io.ObjectInputStream(istream); 969 971 970 972 readobj = (Object3D) p.readObject(); 973 + p.close();971 974 istream.close(); 972 975 973 976 readobj.ResetDisplayList();