The methods override the default empty implementation with the same
empty implementation. This yields an unnecessary "info" in the problems
view