From 009350323123fc4b47041cb2194e8df19f69423b Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sun, 25 May 2008 09:03:33 +0000
Subject: Run astyle.

---
 sources/core/time/VSLamportTime.java | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'sources/core/time/VSLamportTime.java')

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() {
-- 
cgit v1.2.3