Tuukka, your patch breaks compile on JDK1.1

[Tuomas Lukka <lukka@xxxxxxxxxxx>]

You're using two methods that are not yet in JDK1.1:


Found 2 semantic errors compiling "ZZSpace.java":

   198. 		    dims.add(c.getText());
                            <------------------->
*** Error: No method named "add" was found in type "java/util/Vector".
However, there is an accessible method "addElement" whose name closely
matches the name "add".


   201. 	    return (String[])(dims.toArray(new
String[dims.size()]));

<----------------------------------->
*** Error: No method named "toArray" was found in type "java/util/Vector".

	Tuomas