Buggy code:
public class TestMiniZinc extends TestCase { @ Override public void setUp ( ) throws Exception { } @ Override public void tearDown ( ) throws Exception { } public void test ( ) { String program = "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>FuelNeeded_43;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_01;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_49;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>F1;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_34;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_35;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>FuelNeeded_35;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_39;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_53;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_42;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_56;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_60;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_63;\n" ; program += "var<seq2seq4repair_space>0..600:<seq2seq4repair_space>X_66;\n" ; program += "constraint<seq2seq4repair_space>FuelNeeded_43<seq2seq4repair_space>+<seq2seq4repair_space>X_01<seq2seq4repair_space>==<seq2seq4repair_space>X_49<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>F1<seq2seq4repair_space>==<seq2seq4repair_space>X_34<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>X_35<seq2seq4repair_space>+<seq2seq4repair_space>FuelNeeded_35<seq2seq4repair_space>==<seq2seq4repair_space>X_39<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>X_34<seq2seq4repair_space>==<seq2seq4repair_space>X_35<seq2seq4repair_space>+<seq2seq4repair_space>4<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>X_49<seq2seq4repair_space>==<seq2seq4repair_space>X_53<seq2seq4repair_space>+<seq2seq4repair_space>6<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>X_39<seq2seq4repair_space>==<seq2seq4repair_space>X_42<seq2seq4repair_space>+<seq2seq4repair_space>10<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>X_53<seq2seq4repair_space>==<seq2seq4repair_space>X_56<seq2seq4repair_space>+<seq2seq4repair_space>17<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>X_42<seq2seq4repair_space>==<seq2seq4repair_space>X_01<seq2seq4repair_space>+<seq2seq4repair_space>12<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>X_56<seq2seq4repair_space>==<seq2seq4repair_space>X_60<seq2seq4repair_space>+<seq2seq4repair_space>16<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>X_60<seq2seq4repair_space>==<seq2seq4repair_space>8<seq2seq4repair_space>+<seq2seq4repair_space>X_63<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>X_63<seq2seq4repair_space>==<seq2seq4repair_space>X_66<seq2seq4repair_space>+<seq2seq4repair_space>19<seq2seq4repair_space>;\n" ; program += "constraint<seq2seq4repair_space>X_66<seq2seq4repair_space>==<seq2seq4repair_space>2<seq2seq4repair_space>;\n\n" ; program += "solve<seq2seq4repair_space>satisfy;\n\n" ; program += "output<seq2seq4repair_space>[\"{FuelNeeded_43//\",<seq2seq4repair_space>show(FuelNeeded_43),\n" ; program += "\",X_01//\",<seq2seq4repair_space>show(X_01),\n" ; program += "\",X_49//\",<seq2seq4repair_space>show(X_49),\n" ; program += "\",F1//\",<seq2seq4repair_space>show(F1),\n" ; program += "\",X_34//\",<seq2seq4repair_space>show(X_34),\n" ; program += "\",FuelNeeded_35//\",<seq2seq4repair_space>show(FuelNeeded_35),\n" ; program += "\",X_39//\",<seq2seq4repair_space>show(X_39),\n" ; program += "\",X_53//\",<seq2seq4repair_space>show(X_53),\n" ; program += "\",X_42//\",<seq2seq4repair_space>show(X_42),\n" ; program += "\",X_56//\",<seq2seq4repair_space>show(X_56),\n" ; program += "\",X_60//\",<seq2seq4repair_space>show(X_60),\n" ; program += "\",X_63//\",<seq2seq4repair_space>show(X_63),\n" ; program += "\",X_66//\",<seq2seq4repair_space>show(X_66),\"}\"];\n" ; <START_BUG> Collection < Substitution > r = MiniZincAdapter . runMiniZinc ( program , true ) ; <END_BUG> assertTrue ( ( ( r . size ( ) ) > 0 ) ) ; } }

Fix:
Collection < Substitution > r = MiniZincAdapter . runMiniZinc ( "minizinc" , program , true ) ;