Switched to Eclipse 2.1 development; eliminated JTidy package => now standalone plugin