[hibernate-issues] [Hibernate-JIRA] Created: (HHH-5747) Properties.getProperty returns null value if the property is not set.

Properties.getProperty returns null value if the property is not set. ---------------------------------------------------------------------- Key: HHH-5747 URL: http://opensource.atlassian.com/projects/hibernate/browse/HHH-5747 Project: Hibernate Core Issue Type: Bug Components: core Affects Versions: 3.6.0 Reporter: Suresh Thummalapenta We developed a mining-based approach that recovers specifications for APIs of JavaSDK and uses those specifications to detect defects statically. In our study, we found that at various places, return checks are missing in the core component of Hibernate. It would be great if you could analyze and fix those issues. It would be good to have a null check on "sessionFactoryName", since getProperty() method can return null, if the property Environment.SESSION_FACTORY_NAME is not set. Class: SettingsFactory.java Method: buildSettings, Line: 86 -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: http://opensource.atlassian.com/projects/hibernate/secure/Administrators.... - For more information on JIRA, see: http://www.atlassian.com/software/jira