{"comment":{"url":"https://api.github.com/repos/andreistefanescu/k/comments/13031282","html_url":"https://github.com/andreistefanescu/k/commit/e56209ed361321c6a953b11b996e1e3ae9504c84#commitcomment-13031282","id":13031282,"user":{"login":"bmmoore","id":698479,"avatar_url":"https://avatars.githubusercontent.com/u/698479?v=3","gravatar_id":"","url":"https://api.github.com/users/bmmoore","html_url":"https://github.com/bmmoore","followers_url":"https://api.github.com/users/bmmoore/followers","following_url":"https://api.github.com/users/bmmoore/following{/other_user}","gists_url":"https://api.github.com/users/bmmoore/gists{/gist_id}","starred_url":"https://api.github.com/users/bmmoore/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bmmoore/subscriptions","organizations_url":"https://api.github.com/users/bmmoore/orgs","repos_url":"https://api.github.com/users/bmmoore/repos","events_url":"https://api.github.com/users/bmmoore/events{/privacy}","received_events_url":"https://api.github.com/users/bmmoore/received_events","type":"User","site_admin":false},"position":7,"line":57,"path":"java-backend/src/main/java/org/kframework/backend/java/symbolic/CopyOnWriteTransformer.java","commit_id":"e56209ed361321c6a953b11b996e1e3ae9504c84","created_at":"2015-09-02T19:06:21Z","updated_at":"2015-09-02T19:06:21Z","body":"If CellCollection has a definition field, why are you copying the definition from the context here? Couldn't you simplify things by making a builder method that copies the sort and definition from an existing collection? "}}