public static Term static_transform(Term t, TermSystem sys, TransformationContext ctx) throws TermWareException { if (!t.getName().equals("javaStrategy")) return t; if (t.getArity() != 2) { return t; } sys.getInstance().addJavaStrategy(t.getSubtermAt(0).getName(), t.getSubtermAt(1).getName()); ctx.setChanged(true); return TermFactory.createBoolean(true); }