1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/tests/ValueSubclass.java Wed Nov 10 15:54:09 2004 +0100
1.3 @@ -0,0 +1,6 @@
1.4 +public class ValueSubclass extends Value {
1.5 +
1.6 + public ValueSubclass(int x) {
1.7 + super(x);
1.8 + }
1.9 +}