Crux java 구현