Solved Issue #42

[fileexplorer] Change format of filelist to JSON

++ fixing some small bugs