if you are using google chrome you have an extension called : GetThemAll ... to download video from a web player ...

chrome.google.com/webstore/detail/getthemall-video-download/nbkekaeindpfpcoldfckljplboolgkfm?hl=en