1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/samples/reexport/src-api2.0/org/apidesign/reexport/api/String.java	Sun Aug 24 13:39:55 2008 +0200
     1.3 @@ -0,0 +1,16 @@
     1.4 +package api;
     1.5 +
     1.6 +public final class String {
     1.7 +    private final char[] chars;
     1.8 +    
     1.9 +    public String(char[] chars) {
    1.10 +        this.chars = chars.clone();
    1.11 +    }
    1.12 +    
    1.13 +    public int getSize() {
    1.14 +        return chars.length;
    1.15 +    }
    1.16 +    public char charAt(int i) {
    1.17 +        return chars[i];
    1.18 +    }
    1.19 +}