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]>