Fixinstall

Fix install to address #159 
@grosu please review
Previously if you only install JRE, jar in not included in "bin". So I
change it to JDK.

On Wed, Oct 29, 2014 at 1:45 PM, Grigore Rosu <notifications@github.com>
wrote:

> In INSTALL.md:
>
> >
> >  * To make sure java is installed properly, run `java -version` from a
> > -  terminal.
> > +  terminal. Also if you need to use agent in JavaMOP, also make sure
> > +  `jar` is in your `PATH`.
>
> And can you have java in your path, but not jar?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/runtimeverification/javamop/pull/163/files#r19562297>.
>



-- 
Qingzhou Luo
http://mir.cs.illinois.edu/~qluo2/

Department of Computer Science
University of Illinois, Urbana Champaign