Fixed a ClassCastException in HoverManager (https://sourceforge.net/p/infonode/bugs/19)