100644 blob c0a008a9641698ff1c009f9a26c31e7d54604f25	GoogleFormat.xml
100644 blob 402f041ca2192bc4185058d9f1347cce5e76a362	gwtui_any.launch
100644 blob dca7b451496e1da28061b8a9d9731572542ea9d8	gwtui_mac.launch
100644 blob 9dca1f8b5a5b592bbdd32b37e319ac62329404ab	pgm_daemon.launch
100755 blob 28188349d100012a0621481e854d90b7429e7ad8	to_jetty.sh