Title: Algorithm Design and KAWA Compiler for Java Set