consistent with the new model of referencing
agentName -> <agent name>
moved stuff about "." into troubleshooting
about -cp
minor change
minor fix
consistency
minor improvement
minor
minor change
Merge pull request #182 from runtimeverification/troubleshooting

moved java related notes to Troubleshooting. Also partially addressed #175