equal
deleted
inserted
replaced
728 // file only if a per-user accessibility properties |
728 // file only if a per-user accessibility properties |
729 // file does not exist or is empty. |
729 // file does not exist or is empty. |
730 if (properties.size() == 0) { |
730 if (properties.size() == 0) { |
731 try { |
731 try { |
732 File propsFile = new File( |
732 File propsFile = new File( |
733 System.getProperty("java.home") + sep + "lib" + |
733 System.getProperty("java.home") + sep + "conf" + |
734 sep + "accessibility.properties"); |
734 sep + "accessibility.properties"); |
735 FileInputStream in = |
735 FileInputStream in = |
736 new FileInputStream(propsFile); |
736 new FileInputStream(propsFile); |
737 |
737 |
738 // Inputstream has been buffered in Properties class |
738 // Inputstream has been buffered in Properties class |