diff -r 9d598f7f02da -r 014f8c42e1d4 java_stubs/javaenvinfo/eabi/javaenvinfou.def
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/java_stubs/javaenvinfo/eabi/javaenvinfou.def	Mon Feb 22 17:55:27 2010 +0200
@@ -0,0 +1,5 @@
+EXPORTS
+	_ZN4Java11JavaEnvInfo16GetPlatformInfoLEv @ 1 NONAME
+	_ZN4Java11JavaEnvInfo19GetUserAgentHeaderLEv @ 2 NONAME
+	_ZN4Java11JavaEnvInfo7VersionEv @ 3 NONAME
+