removed unnecessary finals
Add @Nonnull and @Nonnegative annotations to OWLAPIPreconditions