Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns