#8 Can not run jpf because it redefine java.util.regex.Matcher

[Dmitry Neverov]

My app use java.util.regex.Matcher and I can not run jpf because it redefine this class, but not all of it's methods. I got exception:

[java] JavaPathfinder v4.1 - (C) 1999-2007 RIACS/NASA Ames Research Center
[java]
[java]
[java] ====================================================== system under test
[java] application: com\bercut\sdep\sles\initializer\Runner.java
[java]
[java] ====================================================== search started: 21.10.09 15:58
[java] java.lang.NoSuchMethodException: java.util.regex.Matcher.useTransparentBounds(Z)Ljava/util/regex/Matcher;
[java] at java.util.Scanner.<init>(Scanner.java:565)
[java] at java.util.Scanner.<init>(Scanner.java:665)
[java] at com.bercut.atlas.sdk.iface.Version.<init>(Version.java:22)
[java] at com.bercut.sdep.sles.initializer.MibManager.initMibContainer(MibManager.java:34)
[java] at com.bercut.sdep.sles.initializer.Runner.Run(Runner.java:34)
[java] at com.bercut.sdep.sles.initializer.Runner.main(Runner.java:70)
[java]
[java] ====================================================== results
[java] no errors detected
[java]
[java] ====================================================== statistics
[java] elapsed time: 0:00:00
[java] states: new=1, visited=0, backtracked=0, end=1
[java] search: maxDepth=0, constraints=0
[java] choice generators: thread=1, data=0
[java] heap: gc=1, new=1034, free=23
[java] instructions: 13665
[java] max memory: 10MB
[java] loaded code: classes=148, methods=2139
[java]
[java] ====================================================== search finished: 21.10.09 15:58