Muslim and Javanese in the Diaspora: preliminary thoughts on Javanese religious life in colonial Ceylon