parameters.addElement(param);
exceptions.addElement(excep);
    void add(VariableDef param) {        if (parameters == null) {    // lazy instantiation            parameters = new JavaVector();        }        parameters.addElement(param);    }