Upgrade to java 1.7: use @SafeVarargs