diff options
Diffstat (limited to 'sources/prefs/VSPrefs.java')
| -rw-r--r-- | sources/prefs/VSPrefs.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sources/prefs/VSPrefs.java b/sources/prefs/VSPrefs.java index 995f18e..f5e68f3 100644 --- a/sources/prefs/VSPrefs.java +++ b/sources/prefs/VSPrefs.java @@ -914,8 +914,8 @@ public class VSPrefs { * @see serialize.VSSerializable#serialize(serialize.VSSerialize, * java.io.ObjectOutputStream) */ - protected synchronized void serialize_(VSSerialize serialize, - ObjectOutputStream objectOutputStream) + protected synchronized void serialize_( + VSSerialize serialize, ObjectOutputStream objectOutputStream) throws IOException { /** For later backwards compatibility, to add more stuff */ objectOutputStream.writeObject(new Boolean(false)); @@ -941,7 +941,7 @@ public class VSPrefs { */ @SuppressWarnings("unchecked") protected synchronized void deserialize_(VSSerialize serialize, - ObjectInputStream objectInputStream) + ObjectInputStream objectInputStream) throws IOException, ClassNotFoundException { objectPrefs.clear(); |
