lightweight Java mutex