{"action":"created","issue":{"url":"https://api.github.com/repos/impulse-org/imp.runtime/issues/5","labels_url":"https://api.github.com/repos/impulse-org/imp.runtime/issues/5/labels{/name}","comments_url":"https://api.github.com/repos/impulse-org/imp.runtime/issues/5/comments","events_url":"https://api.github.com/repos/impulse-org/imp.runtime/issues/5/events","html_url":"https://github.com/impulse-org/imp.runtime/issues/5","id":111278632,"number":5,"title":"IMP crashes on Mars.1 (eclipse 4.5.1)","user":{"login":"Ingo60","id":785782,"avatar_url":"https://avatars.githubusercontent.com/u/785782?v=3","gravatar_id":"","url":"https://api.github.com/users/Ingo60","html_url":"https://github.com/Ingo60","followers_url":"https://api.github.com/users/Ingo60/followers","following_url":"https://api.github.com/users/Ingo60/following{/other_user}","gists_url":"https://api.github.com/users/Ingo60/gists{/gist_id}","starred_url":"https://api.github.com/users/Ingo60/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Ingo60/subscriptions","organizations_url":"https://api.github.com/users/Ingo60/orgs","repos_url":"https://api.github.com/users/Ingo60/repos","events_url":"https://api.github.com/users/Ingo60/events{/privacy}","received_events_url":"https://api.github.com/users/Ingo60/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-10-13T21:48:15Z","updated_at":"2015-10-13T22:42:20Z","closed_at":null,"body":"After upgrading to eclipse 4.5.1, the Frege IDE which uses IMP stopped working. (https://github.com/Frege/eclipse-plugin/issues/15).\r\n\r\nAs far as I understand, the signature of an internal method the IMP is calling was changed slightly, and this causes now a NoMethodFound exception in the initialization of IMP.\r\n\r\nPlease see this SO post for technical details: http://stackoverflow.com/questions/33111344/eclipse-4-5-1-mars-1-method-not-found-setdefaulteditor\r\n\r\nCan we do anything about it? Can we verify the IMP sources compile against the latest eclipse code? And if so, can we deploy an IMP that runs on MARS 4.5.1.\r\n"},"comment":{"url":"https://api.github.com/repos/impulse-org/imp.runtime/issues/comments/147874430","html_url":"https://github.com/impulse-org/imp.runtime/issues/5#issuecomment-147874430","issue_url":"https://api.github.com/repos/impulse-org/imp.runtime/issues/5","id":147874430,"user":{"login":"Ingo60","id":785782,"avatar_url":"https://avatars.githubusercontent.com/u/785782?v=3","gravatar_id":"","url":"https://api.github.com/users/Ingo60","html_url":"https://github.com/Ingo60","followers_url":"https://api.github.com/users/Ingo60/followers","following_url":"https://api.github.com/users/Ingo60/following{/other_user}","gists_url":"https://api.github.com/users/Ingo60/gists{/gist_id}","starred_url":"https://api.github.com/users/Ingo60/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Ingo60/subscriptions","organizations_url":"https://api.github.com/users/Ingo60/orgs","repos_url":"https://api.github.com/users/Ingo60/repos","events_url":"https://api.github.com/users/Ingo60/events{/privacy}","received_events_url":"https://api.github.com/users/Ingo60/received_events","type":"User","site_admin":false},"created_at":"2015-10-13T22:42:20Z","updated_at":"2015-10-13T22:42:20Z","body":"No I didn't. Probably, I should, then.\r\n\r\nRespect for your foresight!"}}