fixed jEdit no-type bug