Language-based security on Android