mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/quicksetup/org/opends/quicksetup/installer/webstart/WebStartInstaller.java @@ -656,4 +656,13 @@ { return getUserData().getServerLocation(); } /** * {@inheritDoc} */ public String getInstancePath() { // TODO return null; } }