Comparison of Ways to Check Preconditions in Java