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: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org