Adding #%d in place of WTF for more informative java disasm