more changes towards jni
authorbdemsky <bdemsky>
Sun, 5 Jun 2011 08:07:45 +0000 (08:07 +0000)
committerbdemsky <bdemsky>
Sun, 5 Jun 2011 08:07:45 +0000 (08:07 +0000)
commit244bde43f59db937f2eed4a5f33effe6175ed167
tree5d920bdb89a16e08a1e403de0258dd6dd7aaeaab
parent3a91d2157bbee240efdf2158f859a3e55b29b2a2
more changes towards jni
Robust/src/Runtime/garbage.c
Robust/src/Runtime/runtime.c
Robust/src/Runtime/runtime.h
Robust/src/Runtime/thread.c
Robust/src/Runtime/thread.h