...
Merge branch 'master' of https://github.com/Data2Semantics/d2s-tools.git

Conflicts:
	kernelexperiments/src/main/java/org/data2semantics/exp/FullThemeExperiment.java
Merge branch 'master' of https://github.com/Data2Semantics/d2s-tools.git

Conflicts:
	kernelexperiments/src/main/java/org/data2semantics/exp/FullThemeExperiment.java
update to task1exp