Ported translated strings with PropertiesToJSON.java, see issue #36