Maven artifacts for
						ch.ethz.inf.vs:cf-secure:0.18.6-final
						~20140509-1406