Fixed bug 399291: JME in Javadoc hover in compare editor (old Git
version)
1 file changed