JNI libraries for TinyOS's java SDK