all line lengths <= 80

2 files changed, 5 insertions, 5 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();
 
diff --git a/sources/prefs/VSSerializablePrefs.java b/sources/prefs/VSSerializablePrefs.java
index ccb5aab..66a2c83 100644
--- a/sources/prefs/VSSerializablePrefs.java
+++ b/sources/prefs/VSSerializablePrefs.java
@@ -44,7 +44,7 @@ public class VSSerializablePrefs extends VSPrefs implements VSSerializable {
     public synchronized void serialize(VSSerialize serialize,
                                        ObjectOutputStream objectOutputStream)
     throws IOException {
-		super.serialize_(serialize, objectOutputStream);
+        super.serialize_(serialize, objectOutputStream);
     }
 
     /* (non-Javadoc)
@@ -55,6 +55,6 @@ public class VSSerializablePrefs extends VSPrefs implements VSSerializable {
     public synchronized void deserialize(VSSerialize serialize,
                                          ObjectInputStream objectInputStream)
     throws IOException, ClassNotFoundException {
-		super.deserialize_(serialize, objectInputStream);
+        super.deserialize_(serialize, objectInputStream);
     }
 }