1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/samples/reexport/src-api1.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 +// BEGIN: reexport.String10
     1.7 +public final class String {
     1.8 +    private final char[] chars;
     1.9 +    
    1.10 +    public String(char[] chars) {
    1.11 +        this.chars = chars.clone();
    1.12 +    }
    1.13 +    
    1.14 +    public int length() {
    1.15 +        return chars.length;
    1.16 +    }
    1.17 +    public char charAt(int i) {
    1.18 +        return chars[i];
    1.19 +    }
    1.20 +}
    1.21 +// END: reexport.String10