NodeInfo: Calculation of the info nodes (call of getInfoNodes()) is now done in a separate AWTEvent (invokeLater) to make the editor more responsive