
diff -r 000000000000 -r 3fd91c96c86c java_stubs/javaenvinfo/eabi/javaenvinfou.def
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/java_stubs/javaenvinfo/eabi/javaenvinfou.def	Thu Jan 07 16:18:57 2010 +0200
@@ -0,0 +1,5 @@
+EXPORTS
+	_ZN4Java11JavaEnvInfo16GetPlatformInfoLEv @ 1 NONAME
+	_ZN4Java11JavaEnvInfo19GetUserAgentHeaderLEv @ 2 NONAME
+	_ZN4Java11JavaEnvInfo7VersionEv @ 3 NONAME
+




