What Programmers Know About Debugging And How They Use Their IDE Debuggers