Fixed CoqEdit.props so that the plugin is not automatically loaded when jEdit is started when it was previously unloaded.