dirty trick allowing hash.keySet to be used from both java and python