I'm working on a Jython editor in Eclipse. It appears that the Jython code
has "8" hardwired for the size of a tab. Have I perceived this correctly? Is
there some reason for this? It would be normal in an Eclipse editor to
specify the size of a tab, and if it isn't 8 then the name highlighting in
the editor after selection in an outline view is incorrect.