This change becomes effective with a product customization option set
like below (which would dispose hovers after 10 seconds if hidden):

`org.eclipse.ui/disposeClosedBrowserHoverTimeout=10000`

Fixes https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/528