quick command line PHP script  to convert JSON to Java properties files