diff -r dee5afe5301f -r 3f74d0d4af4c doc/src/images/javastyle/header.png Binary file doc/src/images/javastyle/header.png has changed