public class Op { Op(UserFunction function, boolean commute) throws MPJException {...} void finalize() {...} ... }