From f1a5d6364481d88437809001cd8d17634790b1ae Mon Sep 17 00:00:00 2001
From: Peter Dell <peter.dell@web.de>
Date: Mon, 29 Aug 2022 11:30:43 +0200
Subject: [PATCH] Disable code for SequencedProperties to fix CNV loading

---
 .../ide/base/common/SequencedProperties.java  | 54 ++-----------------
 1 file changed, 3 insertions(+), 51 deletions(-)

diff --git a/com.wudsn.ide.base/src/com/wudsn/ide/base/common/SequencedProperties.java b/com.wudsn.ide.base/src/com/wudsn/ide/base/common/SequencedProperties.java
index a61c1706..e8616af3 100644
--- a/com.wudsn.ide.base/src/com/wudsn/ide/base/common/SequencedProperties.java
+++ b/com.wudsn.ide.base/src/com/wudsn/ide/base/common/SequencedProperties.java
@@ -18,62 +18,14 @@
  */
 package com.wudsn.ide.base.common;
 
-import java.util.ArrayList;
-import java.util.Collections;
-import java.util.Enumeration;
-import java.util.List;
-import java.util.Map;
 import java.util.Properties;
 
 /**
- * Properties which keep their sequence of keys.
+ * Properties which keep their sequence of keys. TODO This does not work.
+ * Replace the usage of properties all together by JSON
  * 
  * @author Peter Dell
  */
+@SuppressWarnings("serial")
 public final class SequencedProperties extends Properties {
-	/**
-	 * Not used.
-	 */
-	private static final long serialVersionUID = 1L;
-
-	private List<Object> propertyNames;
-
-	public SequencedProperties() {
-		propertyNames = new ArrayList<Object>();
-	}
-
-	@Override
-	public synchronized Object put(Object key, Object value) {
-		if (propertyNames.contains(key)) {
-			throw new IllegalArgumentException("Value for key '" + key + "' already added.");
-		}
-		propertyNames.add(key);
-		return super.put(key, value);
-	}
-
-	/**
-	 * Returns an enumeration of the keys in this hashtable.
-	 * 
-	 * @return an enumeration of the keys in this hashtable.
-	 * @see Enumeration
-	 * @see #elements()
-	 * @see #keySet()
-	 * @see Map
-	 */
-	@Override
-	public synchronized Enumeration<Object> keys() {
-		return Collections.enumeration(propertyNames);
-	}
-
-	@Override
-	public synchronized String toString() {
-		StringBuilder builder = new StringBuilder();
-		for (Object key : propertyNames) {
-
-			builder.append(key).append("=").append(get(key)).append("\n");
-		}
-		return builder.toString();
-
-	}
-
 }
\ No newline at end of file