Fixinstall

Fix install to address #159 
@grosu please review
No, ajc requires you to install Java first.

On Wed, Oct 29, 2014 at 1:42 PM, Grigore Rosu <notifications@github.com>
wrote:

> In INSTALL.md:
>
> > @@ -10,36 +10,36 @@ To use JavaMOP you need JRE, AJC and RV-Monitor.
> >
> >  1. JRE
> >
> > - Java Runtime Environment version 7 or higher (http://java.com/en/download/index.jsp)
> > + Java Development Kit (JDK) version 7.0.0 or higher
>
> So ajc does not include javac? I thought that ajc also compiles the .java
> files included by .aj files, doesn't it?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/runtimeverification/javamop/pull/163/files#r19562125>.
>



-- 
Qingzhou Luo
http://mir.cs.illinois.edu/~qluo2/

Department of Computer Science
University of Illinois, Urbana Champaign