I have a
String of the form "03:20:10,132" representing a time value. What is the simpliest way to add an arbitrary time value to it? I think it isn't a good choice to manually parse the string to identify which is hour, minute and second. Is there a faster method?