ClonePetriNet javadoc, move some tests to same package as in src/main