Getting rid of javadoc annotations and starting using XML.
Merge commit 'f6fa68a1d4802685ccc54adc9124fd7f3fd889a1' into v.1.0

Conflicts:
	PESTT/bin/.gitignore
	PESTT/src/adt/graph/Path.java
	PESTT/src/domain/DefUsesSet.java
	PESTT/src/domain/constants/GraphCoverageCriteriaId.java
	PESTT/src/domain/constants/LogicCoverageCriteriaId.java
	PESTT/src/domain/coverage/algorithms/CoverageAlgorithmsFactory.java
	PESTT/src/main/activator/PESTT.java
	PESTT/src/ui/editor/ActiveEditor.java
	PESTT/src/ui/handler/DefUsesHandler.java
	PESTT/src/ui/handler/RefreshHandler.java
	PESTT/src/ui/handler/TestRequirementsHandler.java