---- Changes since 1.310 ----
Added checkboxes and a button for deleting multiple processes at once.