Pratyush 8d0caf65a2 avoid `NullPointerException`		2022-10-03 00:21:53 -04:00
..
DocumentPropertiesLoader.java	avoid `NullPointerException`	2022-10-03 00:21:53 -04:00