public void save_to_file(RandomAccessFile os) throws IOException { Fileops.put_int32(os, is_container() ? 1 : 0); Fileops.put_string_bin(os, get_main_class_name()); Fileops.put_string_bin(os, get_contained_class_name()); }