proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.session_build check;