vixenp erome marlene_fsmxxx java unchecked assignment