{"action":"opened","issue":{"url":"https://api.github.com/repos/overturetool/documentation/issues/12","repository_url":"https://api.github.com/repos/overturetool/documentation","labels_url":"https://api.github.com/repos/overturetool/documentation/issues/12/labels{/name}","comments_url":"https://api.github.com/repos/overturetool/documentation/issues/12/comments","events_url":"https://api.github.com/repos/overturetool/documentation/issues/12/events","html_url":"https://github.com/overturetool/documentation/issues/12","id":160405435,"number":12,"title":"Overture VDM-10 Tool Support: User Guide does not mention classpath","user":{"login":"kgpierce","id":5968335,"avatar_url":"https://avatars.githubusercontent.com/u/5968335?v=3","gravatar_id":"","url":"https://api.github.com/users/kgpierce","html_url":"https://github.com/kgpierce","followers_url":"https://api.github.com/users/kgpierce/followers","following_url":"https://api.github.com/users/kgpierce/following{/other_user}","gists_url":"https://api.github.com/users/kgpierce/gists{/gist_id}","starred_url":"https://api.github.com/users/kgpierce/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kgpierce/subscriptions","organizations_url":"https://api.github.com/users/kgpierce/orgs","repos_url":"https://api.github.com/users/kgpierce/repos","events_url":"https://api.github.com/users/kgpierce/events{/privacy}","received_events_url":"https://api.github.com/users/kgpierce/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2016-06-15T12:03:57Z","updated_at":"2016-06-15T12:03:57Z","closed_at":null,"body":"Section 15.1.1 External Library Example gives example Java code but does not mention adding Overture jar to the class path, e.g.\r\n\r\njavac -classpath \"C:\\Program Files\\Overture\\commandline\\Overture-2.3.6.jar\" sensor.java"}}
{"actor":{"display_login":"kgpierce"}}