From e1ab7f751de9ccfd703931016371a95e8208ffb4 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sun, 3 Apr 2022 20:04:57 +0100 Subject: reformatted with astyle --- sources/core/VSAbstractProcess.java | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'sources/core/VSAbstractProcess.java') diff --git a/sources/core/VSAbstractProcess.java b/sources/core/VSAbstractProcess.java index 83ff99d..78e7844 100644 --- a/sources/core/VSAbstractProcess.java +++ b/sources/core/VSAbstractProcess.java @@ -225,7 +225,7 @@ public abstract class VSAbstractProcess extends VSSerializablePrefs { /* Make additional process settings editable through GUI */ initLong("process.localtime", localTime, - prefs.getString("lang.en.process.time.local"), "ms"); + prefs.getString("lang.process.time.local"), "ms"); createRandomCrashTask_(); } @@ -585,19 +585,19 @@ public abstract class VSAbstractProcess extends VSSerializablePrefs { */ public synchronized String toString() { StringBuffer buffer = new StringBuffer(); - buffer.append(prefs.getString("lang.en.process.id")); + buffer.append(prefs.getString("lang.process.id")); buffer.append(": "); buffer.append(getProcessID()); buffer.append("; "); - buffer.append(prefs.getString("lang.en.process.time.local")); + buffer.append(prefs.getString("lang.process.time.local")); buffer.append(": "); buffer.append(VSTools.getTimeString(getTime())); buffer.append("; "); - buffer.append(prefs.getString("lang.en.time.lamport")); + buffer.append(prefs.getString("lang.time.lamport")); buffer.append(": "); buffer.append(lamportTime); buffer.append("; "); - buffer.append(prefs.getString("lang.en.time.vector")); + buffer.append(prefs.getString("lang.time.vector")); buffer.append(": "); buffer.append(vectorTime); return buffer.toString(); -- cgit v1.2.3