public JavaTypeConversions(String atermFactory, String factory) { this.atermFactory = atermFactory; this.factory = factory;
public JavaTypeConversions(String atermFactory) { this.factory = atermFactory;
    public JavaTypeConversions(String atermFactory, String factory) {        this.atermFactory = atermFactory;        this.factory = factory;    }