Java Options-parsing Resources