JavaTXCompilerInJavaTX/resources/javFiles/packageTest/Pair2.jav

import de.test.Pair;

class Pairs {
    setfst(fst) {
	  return new Pair<>(snd, fst);
      }

    swap () {
	return new Pair<> (snd, fst); }

    polyrec(p) {
	return polyrec (p.swap());
    }
}