Visible to the public Usage of Intermediate Java Byte Code to Verify Wireless Java Applications