Hi David, David Karlsen wrote:
> This might come in handy: > http://developer.android.com/reference/java/lang/System.html#getProperty%28java.lang.String%29 Thanks for the pointer. I was not aware that the docs explicitly mention the values. - Jörg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
