add the info about using patch of AJC into README.md
update the format of the section troubleshooting
update the troubleshooting section a little
add info about jdk 8
remove the first option in the trouble shooting
minor change to trouble-shooting section in readme
minor change to trouble-shooting section in readme
minor change to trouble-shooting section in readme
minor change to readme

change some words in trouble-shooting section
modify the troubleshooting section in readme
update the troubleshooting section of ReadMe.md
Merge branch 'document'
Fix format
Merge branch 'master' of https://github.com/runtimeverification/javamop