jEdit 4.2 rpm?