{"action":"created","issue":{"url":"https://api.github.com/repos/idris-hackers/idris-java/issues/5","labels_url":"https://api.github.com/repos/idris-hackers/idris-java/issues/5/labels{/name}","comments_url":"https://api.github.com/repos/idris-hackers/idris-java/issues/5/comments","events_url":"https://api.github.com/repos/idris-hackers/idris-java/issues/5/events","html_url":"https://github.com/idris-hackers/idris-java/issues/5","id":108416594,"number":5,"title":"Change package and namespace to `Java` rather than `IdrisJava`.","user":{"login":"jfdm","id":331273,"avatar_url":"https://avatars.githubusercontent.com/u/331273?v=3","gravatar_id":"","url":"https://api.github.com/users/jfdm","html_url":"https://github.com/jfdm","followers_url":"https://api.github.com/users/jfdm/followers","following_url":"https://api.github.com/users/jfdm/following{/other_user}","gists_url":"https://api.github.com/users/jfdm/gists{/gist_id}","starred_url":"https://api.github.com/users/jfdm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jfdm/subscriptions","organizations_url":"https://api.github.com/users/jfdm/orgs","repos_url":"https://api.github.com/users/jfdm/repos","events_url":"https://api.github.com/users/jfdm/events{/privacy}","received_events_url":"https://api.github.com/users/jfdm/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-09-25T22:17:17Z","updated_at":"2015-09-26T12:49:42Z","closed_at":null,"body":"Question: Would it not be better to call the package `java`? As we are already in Idris, the Idris in the `IdrisJava` namespace seems a little redundant. \r\n\r\nIf I have time I shall make the alterations myself and issue a PR, but thought it worth a mention in case anybody agrees and wishes to contribute a PR. Also I have no idea how this would affect upstream dev.."},"comment":{"url":"https://api.github.com/repos/idris-hackers/idris-java/issues/comments/143433756","html_url":"https://github.com/idris-hackers/idris-java/issues/5#issuecomment-143433756","issue_url":"https://api.github.com/repos/idris-hackers/idris-java/issues/5","id":143433756,"user":{"login":"bgaster","id":185398,"avatar_url":"https://avatars.githubusercontent.com/u/185398?v=3","gravatar_id":"","url":"https://api.github.com/users/bgaster","html_url":"https://github.com/bgaster","followers_url":"https://api.github.com/users/bgaster/followers","following_url":"https://api.github.com/users/bgaster/following{/other_user}","gists_url":"https://api.github.com/users/bgaster/gists{/gist_id}","starred_url":"https://api.github.com/users/bgaster/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bgaster/subscriptions","organizations_url":"https://api.github.com/users/bgaster/orgs","repos_url":"https://api.github.com/users/bgaster/repos","events_url":"https://api.github.com/users/bgaster/events{/privacy}","received_events_url":"https://api.github.com/users/bgaster/received_events","type":"User","site_admin":false},"created_at":"2015-09-26T12:49:42Z","updated_at":"2015-09-26T12:49:42Z","body":"I would prefer not to change the package name to Java, for two reasons:\r\n\r\n1. I followed the naming convention of IdrisScript, the Javascript backend: \r\n     https://github.com/idris-hackers/IdrisScript\r\n2. In a application I've written for automatically generating FFI interface for Java method prototypes, there is a library for Java  syntax and parsing, packaged under the name Java."}}