jEdit v5.1 checkout and imported from jEdit SVN Repository (No History)