Re: A good Java tool/editor