checkout jEdit source