chocoteam/choco3 — pull request #97 by JLiangWaterloo (2013-03-26 16:41:57+00:00)
Title: Int Channeling always throws NullPointerException in constructor.

The constructor always fails with a NullPointerException due to wrong order of initialization.

Propogation on the integer variables are using the wrong variable ids.

My Choco3 knowledge is not very good so hopefully these changes are correct.