MiniJava does not support parameters to constructors.