Bug 459310: New API: DebugPlugin#splitArguments(String)
fixed incomplete Javadoc
diff --git a/org.eclipse.debug.core/core/org/eclipse/debug/core/DebugPlugin.java b/org.eclipse.debug.core/core/org/eclipse/debug/core/DebugPlugin.java
index c2b9ed7..665ffc8 100644
--- a/org.eclipse.debug.core/core/org/eclipse/debug/core/DebugPlugin.java
+++ b/org.eclipse.debug.core/core/org/eclipse/debug/core/DebugPlugin.java
@@ -1518,9 +1518,14 @@
* Splits the given command line into separate arguments that can be
* concatenated with a space as joiner. Embedded quotes and backslashes are
* kept as is (i.e. not interpreted).
+ * <p>
+ * Use this method to avoid e.g. losing quotes around an argument like
+ * <code>"${env_var:A}"</code>, which may later be substituted by a string
+ * that contains spaces.
+ * </p>
*
* @param args command line arguments as a single string
- * @return individual arguments in original (
+ * @return individual arguments in original form
* @since 3.10
*/
public static String[] splitArguments(String args) {