Copyright Eclipse Editing 2019