Java Development for Secure Systems