#47 compile and VM compatibility

[aysubc]

JPF release:javapathfinder-src-libs-1.0-7-oct-05.zip
Java version: 1.4.2

Some of the java.lang.* classes are hardcoded in the env.jpf.jvm package and this causes problems.
1)the hardcoded java.lang.Thread implementation does not comply with java 1.4.2
The private fields and priavtes operations have changed.
a)There is no ThreadGroup.add() function in 1.4.2 (maybe this function is in java 1.4.1)
There is addThread() function in 1.4.2
b) ThreadLocal.ThreadGroup

These hardcoded implemantation causes compiler errors

2) the hardcoded field names of java.lang.String during VM initialization causes problems.
in 1.4.2 java.lang.String has a field called "data" instead of "value"; "boffset" instead of "offset".
These hardcoded fieldnames causes exceptions at runtime while initializing the VM

this release of JPF does not comply with the java 1.4.2

[aysubc]

Logged In: YES
user_id=1676359
Originator: YES

There are 2 typos in this bug report
1)the ThreadLocal.ThreadGroup is wrong diagnosis. It should be ThreadLocal.ThreadLocalMap
Still, there is no such innerclass or field in 1.4.2 and this causes compile errors
2)the package name is misspelled. the classes I am talking about reside in env/jpf/java/lang directory