if (name.length() < 5 || name.length() - name.lastIndexOf('.') > 5) {
if (! name.endsWith(".lax") && ! name.endsWith(".properties")) {
	public synchronized void setFilename(String name) {		if (name.length() < 5 || name.length() - name.lastIndexOf('.') > 5) {			mFilename = name + ".properties";		} else {			mFilename = name;		}	}