Minor change to make javadoc work with new Android SDK