int n=0;
if(extra == null) extra = new String[0];
if(!envHas("USER",extra) && Platform.getProperty("user.name") != null)
defaults[n++] = "USER=" + Platform.getProperty("user.name");
if(!envHas("HOME",extra) && Platform.getProperty("user.home") != null)
defaults[n++] = "HOME=" + Platform.getProperty("user.home");
int n=0;
if(extra == null) extra = new String[0];
if(!envHas("USER",extra) && Platform.getProperty("user.name") != null)
defaults[n++] = "USER=" + Platform.getProperty("user.name");
if(!envHas("HOME",extra) && Platform.getProperty("user.home") != null)
defaults[n++] = "HOME=" + Platform.getProperty("user.home");