{"action":"opened","issue":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/474","labels_url":"https://api.github.com/repos/typetools/checker-framework/issues/474/labels{/name}","comments_url":"https://api.github.com/repos/typetools/checker-framework/issues/474/comments","events_url":"https://api.github.com/repos/typetools/checker-framework/issues/474/events","html_url":"https://github.com/typetools/checker-framework/issues/474","id":107519522,"number":474,"title":"Short processor names don't work on Windows","user":{"login":"wmdietl","id":6699136,"avatar_url":"https://avatars.githubusercontent.com/u/6699136?v=3","gravatar_id":"","url":"https://api.github.com/users/wmdietl","html_url":"https://github.com/wmdietl","followers_url":"https://api.github.com/users/wmdietl/followers","following_url":"https://api.github.com/users/wmdietl/following{/other_user}","gists_url":"https://api.github.com/users/wmdietl/gists{/gist_id}","starred_url":"https://api.github.com/users/wmdietl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wmdietl/subscriptions","organizations_url":"https://api.github.com/users/wmdietl/orgs","repos_url":"https://api.github.com/users/wmdietl/repos","events_url":"https://api.github.com/users/wmdietl/events{/privacy}","received_events_url":"https://api.github.com/users/wmdietl/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/typetools/checker-framework/milestones/3","html_url":"https://github.com/typetools/checker-framework/milestones/High","labels_url":"https://api.github.com/repos/typetools/checker-framework/milestones/3/labels","id":1202755,"number":3,"title":"High","description":null,"creator":{"login":"mernst","id":121025,"avatar_url":"https://avatars.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},"open_issues":7,"closed_issues":1,"state":"open","created_at":"2015-07-10T16:55:58Z","updated_at":"2015-09-21T14:01:55Z","due_on":null,"closed_at":null},"comments":0,"created_at":"2015-09-21T14:01:55Z","updated_at":"2015-09-21T14:01:55Z","closed_at":null,"body":"On a Unix setup, one can use\r\n\r\n-processor nullness\r\n\r\nand CheckerMain correctly uses the expanded \"org.checkerframework.checker.nullness.NullnessChecker\".\r\nOn Windows this expansion doesn't work and when using the short name one gets a processor not found error.\r\n\r\nhttps://github.com/typetools/checker-framework/blob/master/framework/src/org/checkerframework/framework/util/CheckerMain.java#L564\r\n\r\nuses \"/\" as directory separator.\r\nI couldn't find documentation whether ZipEntry.getName uses platform-independent entry names or not.\r\n\r\nChanging this to File.separator might fix this issue. If not, there must be some other platform dependency in CheckerMain.\r\n\r\n"}}