java type for java:javascript