public static File signedGeneratedAppclientJarFile(
UserContentOrigin origin,
InstanceEnvironment instEnv,
File generatedAppclientFile) {
String regName = origin.getTopLevelRegistrationName();
ApplicationEnvironment appEnv = instEnv.getApplicationEnvironment(regName);
File result = new File(appEnv.getJavaWebStartPath(), signedJarPath(generatedAppclientFile.getName()));
return result;
}