1.1 --- a/samples/reexport/src-wrap1.0/query/Query.java	Sun Aug 17 18:55:11 2008 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,28 +0,0 @@
     1.4 -package query;
     1.5 -
     1.6 -import api.String;
     1.7 -
     1.8 -// BEGIN: reexport.wrap1.0
     1.9 -public final class Query {
    1.10 -    public static final class Sequence {
    1.11 -        private String data;
    1.12 -        
    1.13 -        Sequence(String data) {
    1.14 -            this.data = data;
    1.15 -        }
    1.16 -
    1.17 -        public int length() {
    1.18 -            return data.length();
    1.19 -        }
    1.20 -
    1.21 -        public char charAt(int i) {
    1.22 -            return data.charAt(i);
    1.23 -        }
    1.24 -    }
    1.25 -    
    1.26 -    public Sequence computeReply() {
    1.27 -        char[] hello = { 'H', 'e', 'l', 'l', 'o' };
    1.28 -        return new Sequence(new String(hello));
    1.29 -    }
    1.30 -}
    1.31 -// END: reexport.wrap1.0