Java Function Optional Parameter Default Judgment Definition