code: @Override
  	public JvmType getType() {
  		if (this.type == null) {
  //			// make sure scoping has taken place and installed an IJvmTypeProvider
  //			if (returnType != null)
  //				returnType.getType();
  			JvmType newType = TypesFactory.eINSTANCE.createJvmVoid();
  			((InternalEObject)newType).eSetProxyURI(computeTypeUri(isProcedure()));
  			type = (JvmType) eResolveProxy((InternalEObject) newType);
  		}
  		return super.getType();
  	}
docs: TODO should we update the type as soon as the number of argument types changes?