i'm trying to change foo_28.xml to blah_28.xml. here's how i'm trying to do this. note: both foo_28.xml and blah_28.xml are user defined in a web based application. i'm hardcoding it in the example below
RE r = new RE("foo_([0-9]{2}).xml");
String new = r.subst("foo_28.xml", "blah_\1.xml");
Doesn't work. i get blah_\1.xml
any suggestions would be appreciated.
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
