#FlexJa #flexible java #java variant #type system