working with java types from within javascript