docs: public void clearBreakPoint(int line) {
          if (sourceInfo.breakableLine(line)) {
              boolean changed = sourceInfo.breakpoint(line, false);
              if (changed) {
                  fileHeader.repaint();
              }
          }
      }