Changes

Summary

- Added cleaning phase for runtime library to Maven build cycle. - (commit: 437654b) (details)

Commit 437654b4214b34e2b6502dc85028617962a963c1 by Victor Bandur - Added cleaning phase for runtime library to Maven build cycle. - Changed make parallel option from 4 to 5 threads. (commit: 437654b)
	c/vdmclib/pom.xml (diff)
	c/pom.xml (diff)