adding license to DoubleRandom and DoubleRandomSpecification