diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-25 09:48:22 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-25 09:48:22 +0000 |
| commit | 5b6bf8d65ecd6b4b3cccc17314dd763255fb3856 (patch) | |
| tree | 6372e6ffb8adc5767d8fd1f35a5f5d3130646ee5 /sources/core/time/VSLamportTime.java | |
| parent | deed4e94f9502377459c1f99f679ea5dd96d9bfa (diff) | |
Added private static final long serialVersionUID = 1L;
Some docu update.
Diffstat (limited to 'sources/core/time/VSLamportTime.java')
| -rw-r--r-- | sources/core/time/VSLamportTime.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sources/core/time/VSLamportTime.java b/sources/core/time/VSLamportTime.java index c3b138b..e78970f 100644 --- a/sources/core/time/VSLamportTime.java +++ b/sources/core/time/VSLamportTime.java @@ -9,6 +9,7 @@ package core.time; * This class defined how the lamport timestamps are represented. */ public class VSLamportTime implements VSTime { + private static final long serialVersionUID = 1L; /** Specified the global time of the lamport timestamp. It's used for correct painting in the simulator paint area. */ private long globalTime; |