jedit files -> ignore...