Fix #5246: Add Eclipse-SourceReferences in Manifest Header