void (@NotNull GeneralCommandLine commandLine, @NotNull File fileToDelete) { Set<File> set = commandLine.getUserData(DELETE_FILES_ON_TERMINATION); if (set == null) { set = new HashSet<>(); commandLine.putUserData(DELETE_FILES_ON_TERMINATION, set); } set.add(fileToDelete); }