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