arif pushed to master at arif/docs

arif
Mon, 13 Jul 2020 18:51:33 +0900

83a61e97f5ac5770e64ca86445331569beb653f9 Fix bug in setup procedure for OpenJDK 8