JTidy turns ':' into 'a;'

Current nightly builds of JTidy don't have this bug, and don't seem to have any obvious other problems – I used the most recent 'nightly', build, from 4/1/2005 and that was OK.