Android SDK: bug fix for String[] List tags