Improving notification mechanism of the WorkspaceAdapter&Session : now using serialization differences instead of resource.setModified to compute the state of the resources to save. Also improving the compiler, the indexer and the synchronizer notifications
72 files changed