Run astyle.

3 files changed, 16 insertions, 16 deletions

diff --git a/sources/core/time/VSLamportTime.java b/sources/core/time/VSLamportTime.java
index 4ee5ebd..c3b138b 100644
--- a/sources/core/time/VSLamportTime.java
+++ b/sources/core/time/VSLamportTime.java
@@ -9,16 +9,16 @@ package core.time;
  * This class defined how the lamport timestamps are represented.
  */
 public class VSLamportTime implements VSTime {
-    
+
     /** Specified the global time of the lamport timestamp. It's used for correct painting in the simulator paint area. */
     private long globalTime;
-    
+
     /** Specified the process' local lamport time. */
     private long lamportTime;
 
     /**
      * A simple constructor.
-     * 
+     *
      * @param globalTime The global time.
      * @param lamportTime The local lamport time.
      */
@@ -29,7 +29,7 @@ public class VSLamportTime implements VSTime {
 
     /**
      * Getter method.
-     * 
+     *
      * @return The global time.
      */
     public long getGlobalTime() {
@@ -38,7 +38,7 @@ public class VSLamportTime implements VSTime {
 
     /**
      * Getter method.
-     * 
+     *
      * @return The process' local lamport time.
      */
     public long getLamportTime() {
@@ -47,7 +47,7 @@ public class VSLamportTime implements VSTime {
 
     /**
      * String representation.
-     * 
+     *
      * @return The string representation of the lamport time.
      */
     public String toString() {
diff --git a/sources/core/time/VSTime.java b/sources/core/time/VSTime.java
index 0aebf4a..24f9b7d 100644
--- a/sources/core/time/VSTime.java
+++ b/sources/core/time/VSTime.java
@@ -9,17 +9,17 @@ package core.time;
  * This interface is a guidline for general time format classes.
  */
 public interface VSTime {
-    
+
     /**
      * Getter method.
-     * 
+     *
      * @return The global time.
      */
     public long getGlobalTime();
-    
+
     /**
      * String representation.
-     * 
+     *
      * @return The representation of the implementing object as a string.
      */
     public String toString();
diff --git a/sources/core/time/VSVectorTime.java b/sources/core/time/VSVectorTime.java
index 05115c2..4b48477 100644
--- a/sources/core/time/VSVectorTime.java
+++ b/sources/core/time/VSVectorTime.java
@@ -11,14 +11,14 @@ import java.util.ArrayList;
  * The Class VSVectorTime.
  */
 public class VSVectorTime extends ArrayList<Long> implements VSTime {
-	private static final long serialVersionUID = 1L;
-	
+    private static final long serialVersionUID = 1L;
+
     /** The global time. */
     private long globalTime;
 
     /**
      * Instantiates a new vector time.
-     * 
+     *
      * @param globalTime the global time
      */
     public VSVectorTime(long globalTime) {
@@ -27,7 +27,7 @@ public class VSVectorTime extends ArrayList<Long> implements VSTime {
 
     /**
      * To long array.
-     * 
+     *
      * @return the long[]
      */
     public long[] toLongArray() {
@@ -42,7 +42,7 @@ public class VSVectorTime extends ArrayList<Long> implements VSTime {
 
     /**
      * Sets the global time.
-     * 
+     *
      * @param globalTime the new global time
      */
     public void setGlobalTime(long globalTime) {
@@ -58,7 +58,7 @@ public class VSVectorTime extends ArrayList<Long> implements VSTime {
 
     /**
      * Gets the copy.
-     * 
+     *
      * @return the copy
      */
     public VSVectorTime getCopy() {