Remove obsolete comment.
Add ExecFileLoader.save() methods for better code re-use.