{"action":"created","issue":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/401","repository_url":"https://api.github.com/repos/Z3Prover/z3","labels_url":"https://api.github.com/repos/Z3Prover/z3/issues/401/labels{/name}","comments_url":"https://api.github.com/repos/Z3Prover/z3/issues/401/comments","events_url":"https://api.github.com/repos/Z3Prover/z3/issues/401/events","html_url":"https://github.com/Z3Prover/z3/pull/401","id":125152119,"number":401,"title":"Codesmells in Java API","user":{"login":"cheshire","id":348959,"avatar_url":"https://avatars.githubusercontent.com/u/348959?v=3","gravatar_id":"","url":"https://api.github.com/users/cheshire","html_url":"https://github.com/cheshire","followers_url":"https://api.github.com/users/cheshire/followers","following_url":"https://api.github.com/users/cheshire/following{/other_user}","gists_url":"https://api.github.com/users/cheshire/gists{/gist_id}","starred_url":"https://api.github.com/users/cheshire/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cheshire/subscriptions","organizations_url":"https://api.github.com/users/cheshire/orgs","repos_url":"https://api.github.com/users/cheshire/repos","events_url":"https://api.github.com/users/cheshire/events{/privacy}","received_events_url":"https://api.github.com/users/cheshire/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/Z3Prover/z3/labels/cla-signed","name":"cla-signed","color":"009800"},{"url":"https://api.github.com/repos/Z3Prover/z3/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":17,"created_at":"2016-01-06T10:36:13Z","updated_at":"2016-02-12T16:09:26Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/Z3Prover/z3/pulls/401","html_url":"https://github.com/Z3Prover/z3/pull/401","diff_url":"https://github.com/Z3Prover/z3/pull/401.diff","patch_url":"https://github.com/Z3Prover/z3/pull/401.patch"},"body":"Hi,\r\n\r\nZ3 Java API is quite messy, and quite unidiomatic (I assume many of those things are C++-isms).\r\nThis change attempts to clean it up.\r\nAs a bonus, two bugs were uncovered in a process as well."},"comment":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/comments/183389701","html_url":"https://github.com/Z3Prover/z3/pull/401#issuecomment-183389701","issue_url":"https://api.github.com/repos/Z3Prover/z3/issues/401","id":183389701,"user":{"login":"cheshire","id":348959,"avatar_url":"https://avatars.githubusercontent.com/u/348959?v=3","gravatar_id":"","url":"https://api.github.com/users/cheshire","html_url":"https://github.com/cheshire","followers_url":"https://api.github.com/users/cheshire/followers","following_url":"https://api.github.com/users/cheshire/following{/other_user}","gists_url":"https://api.github.com/users/cheshire/gists{/gist_id}","starred_url":"https://api.github.com/users/cheshire/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cheshire/subscriptions","organizations_url":"https://api.github.com/users/cheshire/orgs","repos_url":"https://api.github.com/users/cheshire/repos","events_url":"https://api.github.com/users/cheshire/events{/privacy}","received_events_url":"https://api.github.com/users/cheshire/received_events","type":"User","site_admin":false},"created_at":"2016-02-12T16:09:26Z","updated_at":"2016-02-12T16:09:26Z","body":"Hi @wintersteiger I am somewhat confused --- am I supposed to fix the warnings before this commit was merged? Weren't most of the warnings there before?"}}