Review Request for JMC-5366 : Abort generating of a page if the user switches to another.

[Deepa Avhad]

Hi All,

Please review the fix for JMC-5366.

JIRA   : https://bugs.openjdk.java.net/browse/JMC-5366
Webrev : http://cr.openjdk.java.net/~ghb/davhad/JMC-5366/webrev_00/

Solution:  When navigating views the selection changes frequently - especially when the keyboard is used to scroll through long
           lists or the mouse is dragged over some text. This will lead to many unnecessary updates of the viewers registered, 
           making application less responsive.
           So use of post selection events will be send-out with a slight delay. All intermediate selections during the delay time
           are ignored; just the final selection is propagated.
           Example: (addPostSelectionListener(ISelectionListener listener) ).


Thanks,
Deepa