Merge pull request diffblue#302 from diffblue/bugfix/minor-language

Minor language updates

Author: NathanJPhillips

benchmarks/GENUINE/README.txt

@@ -1,21 +1,22 @@
 GENUINE
 ~~~~~~~
 
-Here we store genuine benchmarks. Each benchmark appear in one directory. 
+Here we store real-world benchmark applications. Each benchmark is located in
+its own directory.
 Benchmark-specific configuration JSON files (containing the transition rules)
 are located in this directory using this naming convention:
     <benchmark-name>_rules.json
 
-When running the "security-scanner" tool on some benchmark <benchmark-name>,
-we recommend to pass these directories to the tool:
+When running the "security-scanner" tool on a benchmark called <benchmark-name>
+pass these directories to the tool:
     ./RESULTS/<benchmark-name>
     ./TEMP/<benchmark-name>
-as directories for storing results and temporary data, respectively. The 
-directories RESULTS and TEMP are already present in .gitignore file.
+for storing results and temporary data respectively. This is recommended as the
+directories RESULTS and TEMP are already present in the .gitignore file.
+
+For each benchmark there is a detailed installation guide and a short textual
+description of the application below.
 
-For each benchmark we provide its detailed installation guide and also short
-textual description (info) of the application.
-    
 
 
 (1) Alfresco
@@ -53,7 +54,7 @@ institutions worldwide to provide durable access to digital resources.
 
 Webpage: http://www.dspace.org/
 Repository: https://github.com/DSpace/DSpace
-Commits: 8 934
+Commits: 8,934
 Releases: 85
 Contributors: 107
 
@@ -269,7 +270,7 @@ The built binaries will be stored in:
 (10) sakai
 ----------
 
-Sakai is a fully customizable, 100% open source learning management system.
+Sakai is a fully-customizable, 100% open source learning management system.
 Sakai is a Java web application running on Apache Tomcat 8.
 Sakai is licensed under the Educational Community License version 2.0
 Sakai is an Apereo Foundation project and follows the Foundation's guidelines
@@ -278,17 +279,17 @@ and requirements for Contributor License Agreements.
 Home web: https://www.sakaiproject.org/
 Repo URL: https://github.com/sakaiproject/sakai.git
 repo: https://github.com/sakaiproject/sakai.git
-Commits: 44 635
+Commits: 44,635
 Releases: 5
 Contributors: 150
-Java files (master, last commit): 5 657 (~42.8MiB)
+Java files (master, last commit): 5,657 (~42.8MiB)
 
 Install guide for Ubuntu:
 
 1. Open a terminal in the directory of this readme file and clone:
       git clone https://github.com/sakaiproject/sakai.git
 2. Run these commands:
-      cd ./sakai
+      cd sakai
       (optional) git checkout 8550c168cdf16363e864bfdfdbeae96a1e8eac51
       mvn install sakai:deploy -Dmaven.tomcat.home="./__dist__" -DskipTests -Dmaven.test.skip=true