diff -r 41300fa6a67c -r f7bc934e204c doc/src/images/javastyle/header.png
Binary file doc/src/images/javastyle/header.png has changed