/* 196 */ ProfileService ps = getProfileService();
/* 197 */ if (ps == null) {
/* 198 */ throw new NullPointerException("ProfileService has not been set");
/* */ }
/* */
/* 201 */ ProfileKey key = new ProfileKey(name);
/* 202 */ Profile profile = ps.getProfile(key);
/* */
/* 205 */ VFSDeployment first = null;
/* */
/* 208 */ Collection boostraps = profile.getDeployments(ManagedDeployment.DeploymentPhase.BOOTSTRAP);