These files are mode files for JEdit