update license headers
api: remove IRenderTheme.scaleStrokeWidth()
use TimSort from Android project