Alternate file systems

Most of the time, resources in the workspace are stored in a local file system that is accessible via java.io.File. However, it is also possible to create resources that are stored in other kinds of file systems, such as network file systems or a database.

The next few sections cover how to contribute alternative file systems, and how to work with resources stored in different file systems.