Are we okay with idp.home as the one and only system property ? If so, it probably should become IDP_HOME.