Android GUI: Fix java warnings