Changes

Summary

1. avoid access to ".NAME.marks" exports;
2. proper _getFile method -- required to open files from browser;
3. more robust: no assumptions about GUI thread or document model;
4. more robust: jEdit may produce names with trailing "/";