Package: org.jcsp.plugNplay.ints

[Java] Class TimesInt