1.1 --- a/samples/reexport/src-api1.0/api/String.java	Sun Aug 17 18:55:11 2008 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,18 +0,0 @@
     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