{"action":"created","issue":{"url":"https://api.github.com/repos/Frege/eclipse-plugin/issues/30","repository_url":"https://api.github.com/repos/Frege/eclipse-plugin","labels_url":"https://api.github.com/repos/Frege/eclipse-plugin/issues/30/labels{/name}","comments_url":"https://api.github.com/repos/Frege/eclipse-plugin/issues/30/comments","events_url":"https://api.github.com/repos/Frege/eclipse-plugin/issues/30/events","html_url":"https://github.com/Frege/eclipse-plugin/issues/30","id":308560739,"number":30,"title":"Add java source output directory settings for frege compiler","user":{"login":"yuxuanchiadm","id":5248775,"avatar_url":"https://avatars3.githubusercontent.com/u/5248775?v=4","gravatar_id":"","url":"https://api.github.com/users/yuxuanchiadm","html_url":"https://github.com/yuxuanchiadm","followers_url":"https://api.github.com/users/yuxuanchiadm/followers","following_url":"https://api.github.com/users/yuxuanchiadm/following{/other_user}","gists_url":"https://api.github.com/users/yuxuanchiadm/gists{/gist_id}","starred_url":"https://api.github.com/users/yuxuanchiadm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yuxuanchiadm/subscriptions","organizations_url":"https://api.github.com/users/yuxuanchiadm/orgs","repos_url":"https://api.github.com/users/yuxuanchiadm/repos","events_url":"https://api.github.com/users/yuxuanchiadm/events{/privacy}","received_events_url":"https://api.github.com/users/yuxuanchiadm/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2018-03-26T12:57:23Z","updated_at":"2018-03-27T17:02:54Z","closed_at":null,"author_association":"NONE","body":"Still default compiles frege source code to java source code to `bin` folder. But add setting to project properties to change that directory so we can separate java source code file and java bytecode file."},"comment":{"url":"https://api.github.com/repos/Frege/eclipse-plugin/issues/comments/376600212","html_url":"https://github.com/Frege/eclipse-plugin/issues/30#issuecomment-376600212","issue_url":"https://api.github.com/repos/Frege/eclipse-plugin/issues/30","id":376600212,"user":{"login":"Ingo60","id":785782,"avatar_url":"https://avatars1.githubusercontent.com/u/785782?v=4","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":"2018-03-27T17:02:54Z","updated_at":"2018-03-27T17:02:54Z","author_association":"OWNER","body":"I see. But the java Files are completely ephemeral and not needed anymore (except to look at the generated code, which is valuable at least for me, but could be helpful as well for someone getting java compilation errors because of wrong native definitions).\r\n\r\nHence I'd rather just make a check box \"Keep Java Files?\" in the Frege Settings.And if this is false, just remove the files in the builder after **successful** compilation. "}}
{"actor":{"display_login":"Ingo60"}}