bugfixing serialization of source-file content across Eclipse extension points