[DrJava] New Indent System

[Charles R. <cr...@ri...>]

Hey everyone--
   We've FINALLY checked in the new indentation system, after seeing it 
turn into quite a monumental task.  Hope you find some of the new 
features useful, and please let us know if you find bugs.  We're 
planning to do a new release on Sourceforge early this week after 
updating a regression test for the tree and providing package level 
documentation...

Charlie