[jbosstools-issues] [JBoss JIRA] (JBDS-2386) jbdevstudio.ini file contains duplicate jboss.discovery.directory.url entries

jbdevstudio.ini file contains duplicate jboss.discovery.directory.url entries ----------------------------------------------------------------------------- Key: JBDS-2386 URL: https://issues.jboss.org/browse/JBDS-2386 Project: Developer Studio (JBoss Developer Studio) Issue Type: Bug Security Level: Public(Everyone can see) Components: Program Affects Versions: 6.0.0.CR1 Environment: Version: 6.0.0.CR1 Build id: CR1-v20121118-2035-B111 Build date: 20121118-2035 Reporter: Len DiMaggio Assignee: Nick Boldt Priority: Blocker Labels: respin-a Fix For: 4.0.0.CR1 Attachments: JBDS2386-remove-dupe-entry.patch1.txt, JBDS2386-remove-dupe-entry.patch2.txt The file in CR1 contains: cat studio/jbdevstudio.ini -vm /usr/lib/jvm/java-1.6.0-openjdk-1.6.0.0.x86_64/jre/bin/java -product com.jboss.jbds.product.product -startup plugins/org.eclipse.equinox.launcher_1.3.0.v20120522-1813.jar --launcher.library plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.200.v20120522-1813 -product com.jboss.jbds.product.product -showsplash platform\:/base/plugins/com.jboss.jbds.product --launcher.XXMaxPermSize 256m --launcher.defaultAction openFile -vmargs -Dosgi.splashPath=platform:/base/plugins/com.jboss.jbds.product -Djboss.discovery.directory.url=https://devstudio.jboss.com/updates/6.0-staging/devstudio-directory.xml -Xms512m -Xmx1024m -Djboss.discovery.directory.url=https://devstudio.jboss.com/updates/6.0-staging/devstudio-directory.xml -Dosgi.instance.area.default=(a)user.home/workspace