TechDoc Client 9 Build 02/05/2016 has been released and features the following improvement: Updated to Java 8 Update 72 to fix a known Java problem with the thumb scroller missing on some vertical scroll bars.
