1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/samples/reexport/src-api2.0/api/String.java	Sat Jun 14 09:54:12 2008 +0200
     1.3 @@ -0,0 +1,18 @@
     1.4 +package api;
     1.5 +
     1.6 +import api.*;
     1.7 +
     1.8 +public final class String {
     1.9 +    private final char[] chars;
    1.10 +    
    1.11 +    public String(char[] chars) {
    1.12 +        this.chars = chars.clone();
    1.13 +    }
    1.14 +    
    1.15 +    public int getSize() {
    1.16 +        return chars.length;
    1.17 +    }
    1.18 +    public char charAt(int i) {
    1.19 +        return chars[i];
    1.20 +    }
    1.21 +}