Problems are now displayed in the problems view (instead of the console)