diff -r 022ca2799c73 -r 3bcd15f14dcb src/Doc/JEdit/document/sledgehammer.png Binary file src/Doc/JEdit/document/sledgehammer.png has changed