{"action":"created","issue":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/1179","repository_url":"https://api.github.com/repos/typetools/checker-framework","labels_url":"https://api.github.com/repos/typetools/checker-framework/issues/1179/labels{/name}","comments_url":"https://api.github.com/repos/typetools/checker-framework/issues/1179/comments","events_url":"https://api.github.com/repos/typetools/checker-framework/issues/1179/events","html_url":"https://github.com/typetools/checker-framework/pull/1179","id":216576485,"number":1179,"title":"minor fixes to TreeSet.java class","user":{"login":"kanha95","id":14828915,"avatar_url":"https://avatars3.githubusercontent.com/u/14828915?v=3","gravatar_id":"","url":"https://api.github.com/users/kanha95","html_url":"https://github.com/kanha95","followers_url":"https://api.github.com/users/kanha95/followers","following_url":"https://api.github.com/users/kanha95/following{/other_user}","gists_url":"https://api.github.com/users/kanha95/gists{/gist_id}","starred_url":"https://api.github.com/users/kanha95/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kanha95/subscriptions","organizations_url":"https://api.github.com/users/kanha95/orgs","repos_url":"https://api.github.com/users/kanha95/repos","events_url":"https://api.github.com/users/kanha95/events{/privacy}","received_events_url":"https://api.github.com/users/kanha95/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":6,"created_at":"2017-03-23T21:21:11Z","updated_at":"2017-03-24T15:22:28Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/typetools/checker-framework/pulls/1179","html_url":"https://github.com/typetools/checker-framework/pull/1179","diff_url":"https://github.com/typetools/checker-framework/pull/1179.diff","patch_url":"https://github.com/typetools/checker-framework/pull/1179.patch"},"body":"Modified as per java docs. TreeSet does not permit null elements."},"comment":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/comments/289053563","html_url":"https://github.com/typetools/checker-framework/pull/1179#issuecomment-289053563","issue_url":"https://api.github.com/repos/typetools/checker-framework/issues/1179","id":289053563,"user":{"login":"mernst","id":121025,"avatar_url":"https://avatars1.githubusercontent.com/u/121025?v=3","gravatar_id":"","url":"https://api.github.com/users/mernst","html_url":"https://github.com/mernst","followers_url":"https://api.github.com/users/mernst/followers","following_url":"https://api.github.com/users/mernst/following{/other_user}","gists_url":"https://api.github.com/users/mernst/gists{/gist_id}","starred_url":"https://api.github.com/users/mernst/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mernst/subscriptions","organizations_url":"https://api.github.com/users/mernst/orgs","repos_url":"https://api.github.com/users/mernst/repos","events_url":"https://api.github.com/users/mernst/events{/privacy}","received_events_url":"https://api.github.com/users/mernst/received_events","type":"User","site_admin":false},"created_at":"2017-03-24T15:22:28Z","updated_at":"2017-03-24T15:22:28Z","body":"That Javadoc specification does not say that null is prohibited in all situations.  It says that a NullPointerException is thrown in certain situation.\r\n\r\nThe comment says that null is **permitted** when the comparator is provided and the comparator permits null elements (and that null is prohibited in other situations, but not in all situations)."}}
{"actor":{"display_login":"mernst"}}