java -> Java
AspecJ -> AspectJ
go to here -> go here

addressed #180
Merge pull request #181 from runtimeverification/docs-again-and-again

closes #180