extend library class

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index dab2feeb26c6c36ff3cbf1b55bc73b6f0704182e..147a5b961895bd902894153b342d9fa5b1cbd0ce 100644 (file)
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -7,6 +7,12 @@ public class String {
   private String() {
   }
 
+  public String(char c) {
+    char[] str = new char[1];
+    str[0] = c;
+    String(str);
+  }
+
   public String(char str[]) {
     char charstr[]=new char[str.length];
     for(int i=0; i<str.length; i++)